Added the function to define constraints to forbid chaining from a literal which is excused from cost payment by unification.