Resolved ambiguity of name Interpretation.
Introducing class HTPlainModelGenerator.
Fix crash in ClaspSolver.cpp
Extend ModelCallback to deal with HT models
Move mbfactory and modelbuilder into EvalContext
Set factory for HT generation in EvalGraphBuilder