Common use of Program Verification Concept Design Phase Clause in Contracts