refactor QueryTool/GOALInterpreter to allow use of NOPDebugger in
unittests again; fix unchecked casts of MentalFormula to MentalLiteral