OCL computation state implemented.