Added decorator for OCL translation