Check if instantiation is allowed
The user defined predicate co_check/2 is invoked when a constraint variable is instantiated, i.e. bound to a term which is not a variable. co_check/2 must only succeed if this binding is allowed under the given Constraint "Constraint".