Common use of Programming constraints Clause in Contracts