Added a basic law to handle implicit operation refinement