lmf.formula.csp.semantic.exception
Exceptions 
CspAnalyserException
CspBoundedNameException
CspTypeException
CspUnboundNameException