bugfix in new implementation of translation visitor
bugfix PROBPLUGIN-63: Bugfix in code to check that old and new implementation behave the same. visitor.getPredicate() was called for expresssions, too. This currently effected only models with variants.
adding cbc based refinement checks to the rodin ui, still missing work on the prolog side + some missing details