Constructed class to mimic the original class in all but name of symbol#1578

Merged

kroening merged 1 commit intodiffblue:developfrom

thk123:bugfix/specalised-classes

Nov 10, 2017

Commits on Nov 10, 2017

Constructed class to mimic the original class in all but name of symbol
thk123
committed