Common use of When Given Clause in Contracts