Fixes PROBCORE-317. canBeEvaluated now checks the boolean flag that is set in the prolog core.