PROBCORE-557 Created integration test for ConstraintBasedChecking and minor modifications for new prolog side
PROBCORE-557 Migrated finding a valid state for a predicate and wrote an integration test for it.