Removed javassist from the QBF reduction code.