trace check code and test cases
The Xtext code for both OCLR and trace specifications, and the java code for creating instances (XMI files) from the specifications.
OCLR constraints