Main = String. Assignment = "{" Literal_List "}". Literal : Pos | Neg common Variable. Pos = extends Literal. Neg = extends Literal. Variable = Ident. History = State TNState_List. State = Assignment "||" Instance "||" Assignment. TNState = TransitionRuleName "->". TransitionRuleName = Ident. Instance = "instance". notparsed visitor PrintVisitor = int boolean extends UniversalVisitor. notparsed visitor CopyVisitor = derived Object extends UniversalVisitor. notparsed visitor SubgraphVisitor = boolean init {{ true }} extends UniversalVisitor. notparsed visitor EqualVisitor = boolean init {{ true }} extends UniversalVisitor. notparsed visitor DisplayVisitor = int extends UniversalVisitor. notparsed visitor TraceVisitor = int extends UniversalVisitor. notparsed visitor UniversalVisitor : . Literal_List = [ Nonempty_Literal_List]. TNState_List = [ Nonempty_TNState_List]. Nonempty_Literal_List = Literal [*s Nonempty_Literal_List]. Nonempty_TNState_List = TNState [*s Nonempty_TNState_List].