No allInstances in OCL