Use VariablePool? in ModelReader? and RSFReader Don't create multiple EvaluationVisitors? for the same Configuration in MaxTermConverter2