OCL standard library execution test