deprecated SMT.addMethodClasses() and Zone.setBoundObject() according to issue #174, which is now mostly resolved.