- signature$O constraintGeneration$O \\r
- constraintTerm$O constraintExprData$O \\r
- constraintExpr$O constraint$O \\r
- constraintList$O constraintResolve$O \\r
- constraintOutput$O loopHeuristics$O \\r
- cppmain$O cpplib$O cppexp$O \\r
- cpphash$O cpperror$O uentry$O \\r
- cprim$O macrocache$O qual$O \\r
- qtype$O stateClause$O stateClauseList$O \\r
- ctype$O cvar$O clabstract$O \\r
- idDecl$O clause$O globalsClause$O \\r
+ signature$O cppmain$O cpplib$O \\r
+ cppexp$O cpphash$O cpperror$O \\r
+ context$O uentry$O cprim$O \\r
+ macrocache$O qual$O qtype$O \\r
+ stateClause$O stateClauseList$O ctype$O \\r
+ cvar$O clabstract$O idDecl$O \\r
+ clause$O globalsClause$O \\r