removed SMT.init()'s extraClasses parameter in accordance to issue #155.