UnifyDeclListMsg = the lists cannot be unified.

XiLawError = Invallid schema for the \Xi Definition application
COD0614 = Invallid predicate for the \Xi definition application
COD0615 = Invallid declaration list for the \Xi definition application
SchemaNameCRulesMsg = Name of the variable declaration schema
InvalidProcessCRulesMsg = Invalid Process
InvalidVarSchCRulesMsg = Invalid Schema: It does not declare variable
UncompatibleVarNumberCRulesMsg = Uncompatible numbers of variables

CancelledApplMsg = The law application was cancelled

CRefineLawApplError = CRefine Could not apply the law
CRefineLawApplErrorCpyRuleInverse = CRefine Could not apply the law. The reference term was not found.
CRefineLawApplErrorRecursionUnfold = CRefine couldn not apply the law.\nNo well definied structure of recursion.

LawNotValidCRulesMsg = The law is not valid
InvallidArgCRulesMsg = There is an invallid argument

COD0608 = The argument could not be parsed
IOErrorCRulesMsg = An IO error has ocurred

ChangeProcessState = Changing State of Process
ParsePredErrorCRulesMsg = Unable to parse the predicate
ParseExprErrorCRulesMsg = Unable to parse the Expression
ParseProcessErrorCRulesMsg = Unable to parse the process
ParseProcessParagraphErrorCRulesMsg = No process paragraph was found: unable to parse the process
ParseNameErrorCRulesMsg = Unable to parse the Name
ParseNameListErrorCRulesMsg = Unable to parse the Name List
ParseNameSetErrorCRulesMsg = Unable to parse the Name Set
ParseDeclListErrorCRulesMsg = Unable to parse the Declaration List
ParseCircusActionErrorCRulesMsg = Unable to parse the Circus Action
ParseParagraphListErrorCRulesMsg = Unable to parse the Paragraph List
ParseChannelSetErrorCRulesMsg = Unable to parse the Channel Set
ParseCommunicationErrorCRulesMsg = Unable to parse the Circus Communication
ParseExpressionListCRulesMsg = Unable to parse the Expression List
ParseGlobalParagraphCRulesMsg = Unable to parse global paragraph
ParseGlobalParagraphNoParagraphFoundCRulesMsg = Unable to parse the global paragraph: no paragraph was found

COD0629 = The normalization could not be applied

XiSError = Law Application failed - Wrong format Schema - Could not find Theta S

DeltaSError = Law Application failed - Wrong format Schema - Could not find Delta S
SNotFoundError = Could not find S in the specification

AbsStateNotFoundError = Abstract State is not declared in operation
AbsStateNotFoundError2 = The Definition of the Abstract State was not found.
RetrStateNotFoundError2 = The Definition of the Retrieve Relation was not found.
CStateNotFoundError = Abstract State is not declared in operation
CStateNotFoundError2 = The Definition of the Concrete State was not found.

InvalidDeclListCRulesMsg = Invalid declaration list
InvalidDeclarationCRulesMsg = Invalid declaration in the declaration list