úÎ Ÿ1      !"#$%&'()*+,-./0  #better keep order in signature (?) #if True, write comma between rules          ! ! ! !!"#7this is super-ugly: a parenthesized, possibly nested, : possibly comma-separated, list of identifiers or strings $%&'()*+,-./1warning: by definition, {}[] may appear in identifiers "#$%&'()*+,2-3./4+,*()"'&%$#-./"'&%$##$%&'())*+,-./056789:;<=>?@AB000/ 56789:;<=>?@AB0C       !"#$%&'()*+,-./0123456789:;<=>?@ABCDtpdb-0.0 TPDB.DataTPDB.Plain.WriteTPDB.Plain.Read TPDB.XTC.ReadTPDB.XTCStrategy Outermost InnermostFullType Complexity TerminationProblemtrsstrategytype_SRSTRSRS signaturerulesseparateRulelhsrhsstricttopTermNodeVar IdentifiernamearityPrettypretty DeclarationUnknown_DeclarationRules_DeclarationStrategy_DeclarationTheory_DeclarationVar_DeclarationReaderreaderParsersrs declarationmake_srsmake_trs readProblems$fReaderIdentifierlexeranylistrepair_variablesatTaggetTermgetVar getFunApp gotoChildgetChild getProblemgetType getStrategygetTRS getSignature getFuncsymgetRulesgetRule