OPL programming language: Difference between revisions