Complains when programs don't adhere to contracts.