remove some dead/obsolete code
commandline option for z3