OCL2FOL

OCL2FOL implements our mapping ocl2fol from OCL to first-order logic.

This mapping follows (but also corrects and extends) the mapping originally introduced in Clavel et al. 2009.