This package provides the parser for USE specifications, OCL expressions, and commands for manipulating system states.