removed SMT.init()'s extraClasses parameter in accordance to issue #155.
Merge branch 'working' into merging