Update contracts in OCL