trace check model, trace model and OCLR model for the OCLR translation and check
mapping from OCLR to OCL