data/gringo-5.4.0/CHANGES.md:54: addding ==> adding
data/gringo-5.4.0/CHANGES.md:159: constaints ==> constraints
data/gringo-5.4.0/app/clingo/tests/lua/add-clause-lua.lp:10: lits ==> list
data/gringo-5.4.0/app/clingo/tests/lua/check-lua.lp:10: lits ==> list
data/gringo-5.4.0/app/clingo/tests/lua/check-lua.lp:17: lits ==> list
data/gringo-5.4.0/app/clingo/tests/lua/check-lua.lp:17: lits ==> list
data/gringo-5.4.0/app/clingo/tests/lua/check-lua.lp:28: lits ==> list
data/gringo-5.4.0/app/clingo/tests/python/ast2.lp:105: tht ==> the, that
data/gringo-5.4.0/app/clingo/tests/python/ast2.lp:133: tht ==> the, that
data/gringo-5.4.0/app/clingo/tests/python/ast2.lp:133: tht ==> the, that
data/gringo-5.4.0/app/clingo/tests/python/ast2.sol:2: tht ==> the, that
data/gringo-5.4.0/app/clingo/tests/python/ast2.sol:2: tht ==> the, that
data/gringo-5.4.0/app/clingo/tests/python/ast2.sol:2: tht ==> the, that
data/gringo-5.4.0/app/clingo/tests/python/ast2.sol:2: tht ==> the, that
data/gringo-5.4.0/app/clingo/tests/python/ast2.sol:2: tht ==> the, that
data/gringo-5.4.0/app/clingo/tests/python/ast2.sol:2: tht ==> the, that
data/gringo-5.4.0/app/clingo/tests/python/ast2.sol:2: tht ==> the, that
data/gringo-5.4.0/app/clingo/tests/python/ast2.sol:2: tht ==> the, that
data/gringo-5.4.0/app/clingo/tests/python/ast2.sol:2: tht ==> the, that
data/gringo-5.4.0/app/clingo/tests/python/ast2.sol:2: tht ==> the, that
data/gringo-5.4.0/app/clingo/tests/python/ast2.sol:2: tht ==> the, that
data/gringo-5.4.0/app/clingo/tests/python/ast2.sol:2: tht ==> the, that
data/gringo-5.4.0/app/clingo/tests/python/ast3.lp:99: tht ==> the, that
data/gringo-5.4.0/app/clingo/tests/python/ast3.lp:141: tht ==> the, that
data/gringo-5.4.0/app/clingo/tests/python/ast3.lp:141: tht ==> the, that
data/gringo-5.4.0/app/clingo/tests/python/ast3.sol:2: tht ==> the, that
data/gringo-5.4.0/app/clingo/tests/python/ast3.sol:2: tht ==> the, that
data/gringo-5.4.0/app/clingo/tests/python/ast3.sol:2: tht ==> the, that
data/gringo-5.4.0/app/clingo/tests/python/ast3.sol:2: tht ==> the, that
data/gringo-5.4.0/app/clingo/tests/python/ast3.sol:2: tht ==> the, that
data/gringo-5.4.0/app/clingo/tests/python/ast3.sol:2: tht ==> the, that
data/gringo-5.4.0/app/clingo/tests/python/ast3.sol:2: tht ==> the, that
data/gringo-5.4.0/app/clingo/tests/python/ast3.sol:2: tht ==> the, that
data/gringo-5.4.0/app/clingo/tests/python/ast3.sol:2: tht ==> the, that
data/gringo-5.4.0/app/clingo/tests/python/ast3.sol:2: tht ==> the, that
data/gringo-5.4.0/app/clingo/tests/python/ast3.sol:2: tht ==> the, that
data/gringo-5.4.0/app/clingo/tests/python/ast3.sol:2: tht ==> the, that
data/gringo-5.4.0/app/clingo/tests/python/ast3.sol:2: tht ==> the, that
data/gringo-5.4.0/app/clingo/tests/python/ast3.sol:2: tht ==> the, that
data/gringo-5.4.0/app/clingo/tests/python/ast3.sol:2: tht ==> the, that
data/gringo-5.4.0/app/clingo/tests/python/ast3.sol:2: tht ==> the, that
data/gringo-5.4.0/clasp/CHANGES:49: OLL ==> ALL, OLE, OLD, OLLY, OIL
data/gringo-5.4.0/clasp/CHANGES:101: extentions ==> extensions
data/gringo-5.4.0/clasp/CHANGES:171: completition ==> completion
data/gringo-5.4.0/clasp/CHANGES:254: otions ==> options
data/gringo-5.4.0/clasp/CHANGES:337: disbaled ==> disabled
data/gringo-5.4.0/clasp/CHANGES:467: splitted ==> split
data/gringo-5.4.0/clasp/CHANGES:483: unitialized ==> uninitialized
data/gringo-5.4.0/clasp/CHANGES:686: afer ==> after
data/gringo-5.4.0/clasp/app/clasp_app.h:45: knwon ==> known
data/gringo-5.4.0/clasp/clasp/clause.h:40: lits ==> list
data/gringo-5.4.0/clasp/clasp/clause.h:44: lits ==> list
data/gringo-5.4.0/clasp/clasp/clause.h:45: lits ==> list
data/gringo-5.4.0/clasp/clasp/clause.h:45: lits ==> list
data/gringo-5.4.0/clasp/clasp/clause.h:45: lits ==> list
data/gringo-5.4.0/clasp/clasp/clause.h:47: lits ==> list
data/gringo-5.4.0/clasp/clasp/clause.h:73: lits ==> list
data/gringo-5.4.0/clasp/clasp/clause.h:148: lits ==> list
data/gringo-5.4.0/clasp/clasp/clause.h:148: lits ==> list
data/gringo-5.4.0/clasp/clasp/clause.h:156: lits ==> list
data/gringo-5.4.0/clasp/clasp/clause.h:157: lits ==> list
data/gringo-5.4.0/clasp/clasp/clause.h:168: lits ==> list
data/gringo-5.4.0/clasp/clasp/clause.h:211: lits ==> list
data/gringo-5.4.0/clasp/clasp/clause.h:220: lits ==> list
data/gringo-5.4.0/clasp/clasp/clause.h:220: lits ==> list
data/gringo-5.4.0/clasp/clasp/clause.h:223: lits ==> list
data/gringo-5.4.0/clasp/clasp/clause.h:226: lits ==> list
data/gringo-5.4.0/clasp/clasp/clause.h:228: lits ==> list
data/gringo-5.4.0/clasp/clasp/clause.h:231: lits ==> list
data/gringo-5.4.0/clasp/clasp/clause.h:236: lits ==> list
data/gringo-5.4.0/clasp/clasp/clause.h:252: lits ==> list
data/gringo-5.4.0/clasp/clasp/clause.h:326: lits ==> list
data/gringo-5.4.0/clasp/clasp/clause.h:355: lits ==> list
data/gringo-5.4.0/clasp/clasp/clause.h:358: lits ==> list
data/gringo-5.4.0/clasp/clasp/clause.h:360: lits ==> list
data/gringo-5.4.0/clasp/clasp/clause.h:372: lits ==> list
data/gringo-5.4.0/clasp/clasp/clause.h:451: lits ==> list
data/gringo-5.4.0/clasp/clasp/clause.h:462: lits ==> list
data/gringo-5.4.0/clasp/clasp/clause.h:521: lits ==> list
data/gringo-5.4.0/clasp/clasp/clause.h:524: lits ==> list
data/gringo-5.4.0/clasp/clasp/clause.h:536: lits ==> list
data/gringo-5.4.0/clasp/clasp/clingo.h:242: lits ==> list
data/gringo-5.4.0/clasp/clasp/clingo.h:243: lits ==> list
data/gringo-5.4.0/clasp/clasp/constraint.h:108: lits ==> list
data/gringo-5.4.0/clasp/clasp/constraint.h:110: lits ==> list
data/gringo-5.4.0/clasp/clasp/constraint.h:318: implemet ==> implement
data/gringo-5.4.0/clasp/clasp/constraint.h:497: lits ==> list
data/gringo-5.4.0/clasp/clasp/constraint.h:501: lits ==> list
data/gringo-5.4.0/clasp/clasp/constraint.h:504: lits ==> list
data/gringo-5.4.0/clasp/clasp/constraint.h:505: lits ==> list
data/gringo-5.4.0/clasp/clasp/dependency_graph.h:200: sentinal ==> sentinel
data/gringo-5.4.0/clasp/clasp/heuristics.h:68: lits ==> list
data/gringo-5.4.0/clasp/clasp/heuristics.h:69: lits ==> list
data/gringo-5.4.0/clasp/clasp/heuristics.h:179: lits ==> list
data/gringo-5.4.0/clasp/clasp/heuristics.h:180: lits ==> list
data/gringo-5.4.0/clasp/clasp/heuristics.h:267: lits ==> list
data/gringo-5.4.0/clasp/clasp/heuristics.h:268: lits ==> list
data/gringo-5.4.0/clasp/clasp/logic_program.h:137: completly ==> completely
data/gringo-5.4.0/clasp/clasp/logic_program.h:340: lits ==> list
data/gringo-5.4.0/clasp/clasp/logic_program.h:345: lits ==> list
data/gringo-5.4.0/clasp/clasp/logic_program.h:348: lits ==> list
data/gringo-5.4.0/clasp/clasp/logic_program.h:434: lits ==> list
data/gringo-5.4.0/clasp/clasp/logic_program.h:506: lits ==> list
data/gringo-5.4.0/clasp/clasp/logic_program.h:549: lits ==> list
data/gringo-5.4.0/clasp/clasp/logic_program.h:647: lits ==> list
data/gringo-5.4.0/clasp/clasp/logic_program.h:651: lits ==> list
data/gringo-5.4.0/clasp/clasp/logic_program_types.h:517: lits ==> list
data/gringo-5.4.0/clasp/clasp/logic_program_types.h:519: lits ==> list
data/gringo-5.4.0/clasp/clasp/logic_program_types.h:520: lits ==> list
data/gringo-5.4.0/clasp/clasp/logic_program_types.h:538: lits ==> list
data/gringo-5.4.0/clasp/clasp/logic_program_types.h:538: lits ==> list
data/gringo-5.4.0/clasp/clasp/minimize_constraint.h:105: ajusted ==> adjusted
data/gringo-5.4.0/clasp/clasp/minimize_constraint.h:108: lits ==> list
data/gringo-5.4.0/clasp/clasp/minimize_constraint.h:110: lits ==> list
data/gringo-5.4.0/clasp/clasp/minimize_constraint.h:110: lits ==> list
data/gringo-5.4.0/clasp/clasp/minimize_constraint.h:195: lits ==> list
data/gringo-5.4.0/clasp/clasp/minimize_constraint.h:212: lits ==> list
data/gringo-5.4.0/clasp/clasp/minimize_constraint.h:336: lits ==> list
data/gringo-5.4.0/clasp/clasp/minimize_constraint.h:437: lits ==> list
data/gringo-5.4.0/clasp/clasp/minimize_constraint.h:476: lits ==> list
data/gringo-5.4.0/clasp/clasp/minimize_constraint.h:478: lits ==> list
data/gringo-5.4.0/clasp/clasp/minimize_constraint.h:479: lits ==> list
data/gringo-5.4.0/clasp/clasp/minimize_constraint.h:480: lits ==> list
data/gringo-5.4.0/clasp/clasp/minimize_constraint.h:482: lits ==> list
data/gringo-5.4.0/clasp/clasp/minimize_constraint.h:522: lits ==> list
data/gringo-5.4.0/clasp/clasp/minimize_constraint.h:525: lits ==> list
data/gringo-5.4.0/clasp/clasp/minimize_constraint.h:527: lits ==> list
data/gringo-5.4.0/clasp/clasp/minimize_constraint.h:529: lits ==> list
data/gringo-5.4.0/clasp/clasp/minimize_constraint.h:531: lits ==> list
data/gringo-5.4.0/clasp/clasp/minimize_constraint.h:555: lits ==> list
data/gringo-5.4.0/clasp/clasp/minimize_constraint.h:555: lits ==> list
data/gringo-5.4.0/clasp/clasp/parser.h:177: lits ==> list
data/gringo-5.4.0/clasp/clasp/program_builder.h:134: occuring ==> occurring
data/gringo-5.4.0/clasp/clasp/program_builder.h:140: lits ==> list
data/gringo-5.4.0/clasp/clasp/program_builder.h:141: lits ==> list
data/gringo-5.4.0/clasp/clasp/program_builder.h:187: occuring ==> occurring
data/gringo-5.4.0/clasp/clasp/program_builder.h:187: lits ==> list
data/gringo-5.4.0/clasp/clasp/program_builder.h:189: lits ==> list
data/gringo-5.4.0/clasp/clasp/program_builder.h:194: lits ==> list
data/gringo-5.4.0/clasp/clasp/program_builder.h:198: lits ==> list
data/gringo-5.4.0/clasp/clasp/program_builder.h:201: lits ==> list
data/gringo-5.4.0/clasp/clasp/program_builder.h:212: lits ==> list
data/gringo-5.4.0/clasp/clasp/program_builder.h:213: lits ==> list
data/gringo-5.4.0/clasp/clasp/program_builder.h:214: lits ==> list
data/gringo-5.4.0/clasp/clasp/program_builder.h:214: lits ==> list
data/gringo-5.4.0/clasp/clasp/program_builder.h:224: lits ==> list
data/gringo-5.4.0/clasp/clasp/program_builder.h:225: lits ==> list
data/gringo-5.4.0/clasp/clasp/program_builder.h:243: lits ==> list
data/gringo-5.4.0/clasp/clasp/satelite.h:38: SatElite ==> satellite
data/gringo-5.4.0/clasp/clasp/satelite.h:46: SatElite ==> satellite
data/gringo-5.4.0/clasp/clasp/satelite.h:50: SatElite ==> satellite
data/gringo-5.4.0/clasp/clasp/satelite.h:52: SatElite ==> satellite
data/gringo-5.4.0/clasp/clasp/satelite.h:53: SatElite ==> satellite
data/gringo-5.4.0/clasp/clasp/satelite.h:58: SatElite ==> satellite
data/gringo-5.4.0/clasp/clasp/satelite.h:61: SatElite ==> satellite
data/gringo-5.4.0/clasp/clasp/satelite.h:77: SatElite ==> satellite
data/gringo-5.4.0/clasp/clasp/satelite.h:77: SatElite ==> satellite
data/gringo-5.4.0/clasp/clasp/satelite.h:78: SatElite ==> satellite
data/gringo-5.4.0/clasp/clasp/satelite.h:78: SatElite ==> satellite
data/gringo-5.4.0/clasp/clasp/satelite.h:154: lits ==> list
data/gringo-5.4.0/clasp/clasp/satelite.h:155: lits ==> list
data/gringo-5.4.0/clasp/clasp/shared_context.h:128: lits ==> list
data/gringo-5.4.0/clasp/clasp/shared_context.h:145: lits ==> list
data/gringo-5.4.0/clasp/clasp/shared_context.h:333: lits ==> list
data/gringo-5.4.0/clasp/clasp/shared_context.h:469: lits ==> list
data/gringo-5.4.0/clasp/clasp/shared_context.h:584: strat ==> start, strata
data/gringo-5.4.0/clasp/clasp/shared_context.h:702: associcated ==> associated
data/gringo-5.4.0/clasp/clasp/shared_context.h:903: lits ==> list
data/gringo-5.4.0/clasp/clasp/solver.h:130: lits ==> list
data/gringo-5.4.0/clasp/clasp/solver.h:130: lits ==> list
data/gringo-5.4.0/clasp/clasp/solver.h:130: lits ==> list
data/gringo-5.4.0/clasp/clasp/solver.h:241: lits ==> list
data/gringo-5.4.0/clasp/clasp/solver.h:248: lits ==> list
data/gringo-5.4.0/clasp/clasp/solver.h:256: lits ==> list
data/gringo-5.4.0/clasp/clasp/solver.h:286: currrent ==> current
data/gringo-5.4.0/clasp/clasp/solver.h:292: currrent ==> current
data/gringo-5.4.0/clasp/clasp/solver.h:461: upto ==> up to
data/gringo-5.4.0/clasp/clasp/solver.h:718: lits ==> list
data/gringo-5.4.0/clasp/clasp/solver.h:728: lits ==> list
data/gringo-5.4.0/clasp/clasp/solver.h:730: lits ==> list
data/gringo-5.4.0/clasp/clasp/solver.h:733: lits ==> list
data/gringo-5.4.0/clasp/clasp/solver.h:736: lits ==> list
data/gringo-5.4.0/clasp/clasp/solver.h:736: lits ==> list
data/gringo-5.4.0/clasp/clasp/solver.h:736: lits ==> list
data/gringo-5.4.0/clasp/clasp/solver.h:873: lits ==> list
data/gringo-5.4.0/clasp/clasp/solver.h:876: lits ==> list
data/gringo-5.4.0/clasp/clasp/solver.h:1004: lits ==> list
data/gringo-5.4.0/clasp/clasp/solver.h:1007: lits ==> list
data/gringo-5.4.0/clasp/clasp/solver.h:1010: lits ==> list
data/gringo-5.4.0/clasp/clasp/solver.h:1010: lits ==> list
data/gringo-5.4.0/clasp/clasp/solver.h:1012: lits ==> list
data/gringo-5.4.0/clasp/clasp/solver.h:1012: lits ==> list
data/gringo-5.4.0/clasp/clasp/solver.h:1017: lits ==> list
data/gringo-5.4.0/clasp/clasp/solver.h:1017: lits ==> list
data/gringo-5.4.0/clasp/clasp/solver_strategies.h:215: OLL ==> ALL, OLE, OLD, OLLY, OIL
data/gringo-5.4.0/clasp/clasp/solver_types.h:245: lits ==> list
data/gringo-5.4.0/clasp/clasp/solver_types.h:245: lits ==> list
data/gringo-5.4.0/clasp/clasp/solver_types.h:251: lits ==> list
data/gringo-5.4.0/clasp/clasp/solver_types.h:257: lits ==> list
data/gringo-5.4.0/clasp/clasp/solver_types.h:257: lits ==> list
data/gringo-5.4.0/clasp/clasp/solver_types.h:257: lits ==> list
data/gringo-5.4.0/clasp/clasp/solver_types.h:258: lits ==> list
data/gringo-5.4.0/clasp/clasp/solver_types.h:258: lits ==> list
data/gringo-5.4.0/clasp/clasp/solver_types.h:258: lits ==> list
data/gringo-5.4.0/clasp/clasp/solver_types.h:259: lits ==> list
data/gringo-5.4.0/clasp/clasp/solver_types.h:259: lits ==> list
data/gringo-5.4.0/clasp/clasp/solver_types.h:259: lits ==> list
data/gringo-5.4.0/clasp/clasp/solver_types.h:267: lits ==> list
data/gringo-5.4.0/clasp/clasp/solver_types.h:274: lits ==> list
data/gringo-5.4.0/clasp/clasp/solver_types.h:274: lits ==> list
data/gringo-5.4.0/clasp/clasp/solver_types.h:278: lits ==> list
data/gringo-5.4.0/clasp/clasp/solver_types.h:360: lits ==> list
data/gringo-5.4.0/clasp/clasp/solver_types.h:363: lits ==> list
data/gringo-5.4.0/clasp/clasp/solver_types.h:364: lits ==> list
data/gringo-5.4.0/clasp/clasp/solver_types.h:775: lits ==> list
data/gringo-5.4.0/clasp/clasp/solver_types.h:776: lits ==> list
data/gringo-5.4.0/clasp/clasp/solver_types.h:776: lits ==> list
data/gringo-5.4.0/clasp/clasp/solver_types.h:783: lits ==> list
data/gringo-5.4.0/clasp/clasp/solver_types.h:786: lits ==> list
data/gringo-5.4.0/clasp/clasp/solver_types.h:789: lits ==> list
data/gringo-5.4.0/clasp/clasp/solver_types.h:790: lits ==> list
data/gringo-5.4.0/clasp/clasp/solver_types.h:791: lits ==> list
data/gringo-5.4.0/clasp/clasp/solver_types.h:792: lits ==> list
data/gringo-5.4.0/clasp/clasp/solver_types.h:793: lits ==> list
data/gringo-5.4.0/clasp/clasp/weight_constraint.h:39: lits ==> list
data/gringo-5.4.0/clasp/clasp/weight_constraint.h:44: lits ==> list
data/gringo-5.4.0/clasp/clasp/weight_constraint.h:55: lits ==> list
data/gringo-5.4.0/clasp/clasp/weight_constraint.h:56: lits ==> list
data/gringo-5.4.0/clasp/clasp/weight_constraint.h:57: lits ==> list
data/gringo-5.4.0/clasp/clasp/weight_constraint.h:59: lits ==> list
data/gringo-5.4.0/clasp/clasp/weight_constraint.h:116: lits ==> list
data/gringo-5.4.0/clasp/clasp/weight_constraint.h:120: lits ==> list
data/gringo-5.4.0/clasp/clasp/weight_constraint.h:123: lits ==> list
data/gringo-5.4.0/clasp/clasp/weight_constraint.h:136: lits ==> list
data/gringo-5.4.0/clasp/clasp/weight_constraint.h:174: lits ==> list
data/gringo-5.4.0/clasp/clasp/weight_constraint.h:175: lits ==> list
data/gringo-5.4.0/clasp/clasp/weight_constraint.h:176: lits ==> list
data/gringo-5.4.0/clasp/clasp/weight_constraint.h:185: lits ==> list
data/gringo-5.4.0/clasp/clasp/cli/clasp_cli_options.inl:52: unsinged ==> unsigned
data/gringo-5.4.0/clasp/clasp/cli/clasp_cli_options.inl:54: unsinged ==> unsigned
data/gringo-5.4.0/clasp/clasp/cli/clasp_cli_options.inl:148: oll ==> all, ole, old, olly, oil
data/gringo-5.4.0/clasp/clasp/cli/clasp_cli_options.inl:158: oll ==> all, ole, old, olly, oil
data/gringo-5.4.0/clasp/clasp/cli/clasp_cli_options.inl:158: oll ==> all, ole, old, olly, oil
data/gringo-5.4.0/clasp/clasp/cli/clasp_cli_options.inl:159: oll ==> all, ole, old, olly, oil
data/gringo-5.4.0/clasp/clasp/mt/parallel_solve.h:323: lits ==> list
data/gringo-5.4.0/clasp/clasp/mt/parallel_solve.h:325: lits ==> list
data/gringo-5.4.0/clasp/clasp/mt/parallel_solve.h:362: sentinal ==> sentinel
data/gringo-5.4.0/clasp/clasp/mt/parallel_solve.h:362: sentinal ==> sentinel
data/gringo-5.4.0/clasp/clasp/util/pod_vector.h:433: unitialized ==> uninitialized
data/gringo-5.4.0/clasp/clasp/util/type_manip.h:64: lits ==> list
data/gringo-5.4.0/clasp/doc/api/clasp.doxy:1098: therefor ==> therefore
data/gringo-5.4.0/clasp/doc/api/clasp.doxy:1641: empy ==> empty
data/gringo-5.4.0/clasp/doc/api/clasp.doxy:1642: refered ==> referred
data/gringo-5.4.0/clasp/examples/example1.cpp:26: directoies ==> directories
data/gringo-5.4.0/clasp/examples/example1.cpp:65: ouput ==> output
data/gringo-5.4.0/clasp/examples/example2.cpp:26: directoies ==> directories
data/gringo-5.4.0/clasp/examples/example3.cpp:25: directoies ==> directories
data/gringo-5.4.0/clasp/examples/example4.cpp:26: directoies ==> directories
data/gringo-5.4.0/clasp/libpotassco/potassco/aspif.h:86: lits ==> list
data/gringo-5.4.0/clasp/libpotassco/potassco/aspif.h:88: lits ==> list
data/gringo-5.4.0/clasp/libpotassco/potassco/aspif.h:94: lits ==> list
data/gringo-5.4.0/clasp/libpotassco/potassco/aspif.h:121: lits ==> list
data/gringo-5.4.0/clasp/libpotassco/potassco/aspif.h:121: lits ==> list
data/gringo-5.4.0/clasp/libpotassco/potassco/aspif.h:122: lits ==> list
data/gringo-5.4.0/clasp/libpotassco/potassco/aspif.h:123: lits ==> list
data/gringo-5.4.0/clasp/libpotassco/potassco/aspif.h:123: lits ==> list
data/gringo-5.4.0/clasp/libpotassco/potassco/aspif.h:124: lits ==> list
data/gringo-5.4.0/clasp/libpotassco/potassco/aspif_text.h:85: lits ==> list
data/gringo-5.4.0/clasp/libpotassco/potassco/aspif_text.h:86: lits ==> list
data/gringo-5.4.0/clasp/libpotassco/potassco/aspif_text.h:89: lits ==> list
data/gringo-5.4.0/clasp/libpotassco/potassco/aspif_text.h:109: lits ==> list
data/gringo-5.4.0/clasp/libpotassco/potassco/basic_types.h:160: lits ==> list
data/gringo-5.4.0/clasp/libpotassco/potassco/basic_types.h:176: lits ==> list
data/gringo-5.4.0/clasp/libpotassco/potassco/convert.h:57: lits ==> list
data/gringo-5.4.0/clasp/libpotassco/potassco/convert.h:78: lits ==> list
data/gringo-5.4.0/clasp/libpotassco/potassco/rule_utils.h:36: lits ==> list
data/gringo-5.4.0/clasp/libpotassco/potassco/rule_utils.h:53: lits ==> list
data/gringo-5.4.0/clasp/libpotassco/potassco/smodels.h:142: lits ==> list
data/gringo-5.4.0/clasp/libpotassco/potassco/smodels.h:148: lits ==> list
data/gringo-5.4.0/clasp/libpotassco/potassco/smodels.h:152: lits ==> list
data/gringo-5.4.0/clasp/libpotassco/potassco/smodels.h:162: lits ==> list
data/gringo-5.4.0/clasp/libpotassco/potassco/smodels.h:163: lits ==> list
data/gringo-5.4.0/clasp/libpotassco/potassco/smodels.h:165: lits ==> list
data/gringo-5.4.0/clasp/libpotassco/potassco/string_convert.h:318: Constrcuts ==> Constructs
data/gringo-5.4.0/clasp/libpotassco/potassco/program_opts/program_options.h:131: formated ==> formatted
data/gringo-5.4.0/clasp/libpotassco/src/aspif.cpp:208: lits ==> list
data/gringo-5.4.0/clasp/libpotassco/src/aspif.cpp:209: lits ==> list
data/gringo-5.4.0/clasp/libpotassco/src/aspif.cpp:210: lits ==> list
data/gringo-5.4.0/clasp/libpotassco/src/aspif.cpp:210: lits ==> list
data/gringo-5.4.0/clasp/libpotassco/src/aspif.cpp:215: lits ==> list
data/gringo-5.4.0/clasp/libpotassco/src/aspif.cpp:216: lits ==> list
data/gringo-5.4.0/clasp/libpotassco/src/aspif.cpp:217: lits ==> list
data/gringo-5.4.0/clasp/libpotassco/src/aspif.cpp:217: lits ==> list
data/gringo-5.4.0/clasp/libpotassco/src/aspif.cpp:251: lits ==> list
data/gringo-5.4.0/clasp/libpotassco/src/aspif.cpp:252: lits ==> list
data/gringo-5.4.0/clasp/libpotassco/src/aspif.cpp:260: lits ==> list
data/gringo-5.4.0/clasp/libpotassco/src/aspif.cpp:261: lits ==> list
data/gringo-5.4.0/clasp/libpotassco/src/aspif_text.cpp:37: lits ==> list
data/gringo-5.4.0/clasp/libpotassco/src/aspif_text.cpp:116: lits ==> list
data/gringo-5.4.0/clasp/libpotassco/src/aspif_text.cpp:138: lits ==> list
data/gringo-5.4.0/clasp/libpotassco/src/aspif_text.cpp:159: lits ==> list
data/gringo-5.4.0/clasp/libpotassco/src/aspif_text.cpp:166: lits ==> list
data/gringo-5.4.0/clasp/libpotassco/src/aspif_text.cpp:362: lits ==> list
data/gringo-5.4.0/clasp/libpotassco/src/aspif_text.cpp:363: lits ==> list
data/gringo-5.4.0/clasp/libpotassco/src/aspif_text.cpp:368: lits ==> list
data/gringo-5.4.0/clasp/libpotassco/src/aspif_text.cpp:369: lits ==> list
data/gringo-5.4.0/clasp/libpotassco/src/aspif_text.cpp:370: lits ==> list
data/gringo-5.4.0/clasp/libpotassco/src/aspif_text.cpp:370: lits ==> list
data/gringo-5.4.0/clasp/libpotassco/src/aspif_text.cpp:378: lits ==> list
data/gringo-5.4.0/clasp/libpotassco/src/aspif_text.cpp:379: lits ==> list
data/gringo-5.4.0/clasp/libpotassco/src/aspif_text.cpp:379: lits ==> list
data/gringo-5.4.0/clasp/libpotassco/src/aspif_text.cpp:384: lits ==> list
data/gringo-5.4.0/clasp/libpotassco/src/aspif_text.cpp:385: lits ==> list
data/gringo-5.4.0/clasp/libpotassco/src/aspif_text.cpp:399: lits ==> list
data/gringo-5.4.0/clasp/libpotassco/src/aspif_text.cpp:400: lits ==> list
data/gringo-5.4.0/clasp/libpotassco/src/aspif_text.cpp:442: lits ==> list
data/gringo-5.4.0/clasp/libpotassco/src/aspif_text.cpp:443: lits ==> list
data/gringo-5.4.0/clasp/libpotassco/src/aspif_text.cpp:444: lits ==> list
data/gringo-5.4.0/clasp/libpotassco/src/aspif_text.cpp:444: lits ==> list
data/gringo-5.4.0/clasp/libpotassco/src/convert.cpp:108: lits ==> list
data/gringo-5.4.0/clasp/libpotassco/src/convert.cpp:110: lits ==> list
data/gringo-5.4.0/clasp/libpotassco/src/convert.cpp:111: lits ==> list
data/gringo-5.4.0/clasp/libpotassco/src/convert.cpp:111: lits ==> list
data/gringo-5.4.0/clasp/libpotassco/src/convert.cpp:226: lits ==> list
data/gringo-5.4.0/clasp/libpotassco/src/convert.cpp:227: lits ==> list
data/gringo-5.4.0/clasp/libpotassco/src/program_options.cpp:774: seperator ==> separator
data/gringo-5.4.0/clasp/libpotassco/src/program_options.cpp:777: seperator ==> separator
data/gringo-5.4.0/clasp/libpotassco/src/program_options.cpp:780: seperator ==> separator
data/gringo-5.4.0/clasp/libpotassco/src/rule_utils.cpp:38: lits ==> list
data/gringo-5.4.0/clasp/libpotassco/src/rule_utils.cpp:39: lits ==> list
data/gringo-5.4.0/clasp/libpotassco/src/rule_utils.cpp:223: lits ==> list
data/gringo-5.4.0/clasp/libpotassco/src/rule_utils.cpp:224: lits ==> list
data/gringo-5.4.0/clasp/libpotassco/src/smodels.cpp:262: lits ==> list
data/gringo-5.4.0/clasp/libpotassco/src/smodels.cpp:264: lits ==> list
data/gringo-5.4.0/clasp/libpotassco/src/smodels.cpp:264: lits ==> list
data/gringo-5.4.0/clasp/libpotassco/src/smodels.cpp:282: lits ==> list
data/gringo-5.4.0/clasp/libpotassco/src/smodels.cpp:283: lits ==> list
data/gringo-5.4.0/clasp/libpotassco/src/smodels.cpp:283: lits ==> list
data/gringo-5.4.0/clasp/libpotassco/src/smodels.cpp:285: lits ==> list
data/gringo-5.4.0/clasp/libpotassco/src/smodels.cpp:288: lits ==> list
data/gringo-5.4.0/clasp/libpotassco/src/smodels.cpp:289: lits ==> list
data/gringo-5.4.0/clasp/libpotassco/src/smodels.cpp:289: lits ==> list
data/gringo-5.4.0/clasp/libpotassco/src/smodels.cpp:293: lits ==> list
data/gringo-5.4.0/clasp/libpotassco/src/smodels.cpp:294: lits ==> list
data/gringo-5.4.0/clasp/libpotassco/src/smodels.cpp:335: lits ==> list
data/gringo-5.4.0/clasp/libpotassco/src/smodels.cpp:336: lits ==> list
data/gringo-5.4.0/clasp/libpotassco/src/smodels.cpp:355: lits ==> list
data/gringo-5.4.0/clasp/libpotassco/src/smodels.cpp:359: lits ==> list
data/gringo-5.4.0/clasp/libpotassco/src/smodels.cpp:359: lits ==> list
data/gringo-5.4.0/clasp/libpotassco/src/smodels.cpp:363: lits ==> list
data/gringo-5.4.0/clasp/libpotassco/src/smodels.cpp:363: lits ==> list
data/gringo-5.4.0/clasp/libpotassco/tests/catch.hpp:86: SEH ==> SHE
data/gringo-5.4.0/clasp/libpotassco/tests/catch.hpp:8048: alpha-numeric ==> alphanumeric
data/gringo-5.4.0/clasp/libpotassco/tests/test_aspif.cpp:68: lits ==> list
data/gringo-5.4.0/clasp/libpotassco/tests/test_aspif.cpp:69: lits ==> list
data/gringo-5.4.0/clasp/libpotassco/tests/test_aspif.cpp:69: lits ==> list
data/gringo-5.4.0/clasp/libpotassco/tests/test_aspif.cpp:81: lits ==> list
data/gringo-5.4.0/clasp/libpotassco/tests/test_aspif.cpp:82: lits ==> list
data/gringo-5.4.0/clasp/libpotassco/tests/test_aspif.cpp:82: lits ==> list
data/gringo-5.4.0/clasp/libpotassco/tests/test_aspif.cpp:133: lits ==> list
data/gringo-5.4.0/clasp/libpotassco/tests/test_aspif.cpp:134: lits ==> list
data/gringo-5.4.0/clasp/libpotassco/tests/test_aspif.cpp:134: lits ==> list
data/gringo-5.4.0/clasp/libpotassco/tests/test_aspif.cpp:140: lits ==> list
data/gringo-5.4.0/clasp/libpotassco/tests/test_aspif.cpp:149: lits ==> list
data/gringo-5.4.0/clasp/libpotassco/tests/test_aspif.cpp:163: lits ==> list
data/gringo-5.4.0/clasp/libpotassco/tests/test_aspif.cpp:164: lits ==> list
data/gringo-5.4.0/clasp/libpotassco/tests/test_aspif.cpp:172: lits ==> list
data/gringo-5.4.0/clasp/libpotassco/tests/test_aspif.cpp:173: lits ==> list
data/gringo-5.4.0/clasp/libpotassco/tests/test_aspif.cpp:173: lits ==> list
data/gringo-5.4.0/clasp/libpotassco/tests/test_aspif.cpp:251: lits ==> list
data/gringo-5.4.0/clasp/libpotassco/tests/test_aspif.cpp:252: lits ==> list
data/gringo-5.4.0/clasp/libpotassco/tests/test_aspif.cpp:253: lits ==> list
data/gringo-5.4.0/clasp/libpotassco/tests/test_aspif.cpp:254: lits ==> list
data/gringo-5.4.0/clasp/libpotassco/tests/test_options.cpp:253: fo ==> of, for
data/gringo-5.4.0/clasp/libpotassco/tests/test_smodels.cpp:85: lits ==> list
data/gringo-5.4.0/clasp/libpotassco/tests/test_smodels.cpp:86: lits ==> list
data/gringo-5.4.0/clasp/libpotassco/tests/test_smodels.cpp:88: lits ==> list
data/gringo-5.4.0/clasp/libpotassco/tests/test_smodels.cpp:430: lits ==> list
data/gringo-5.4.0/clasp/libpotassco/tests/test_smodels.cpp:431: lits ==> list
data/gringo-5.4.0/clasp/libpotassco/tests/test_smodels.cpp:431: lits ==> list
data/gringo-5.4.0/clasp/libpotassco/tests/test_smodels.cpp:438: lits ==> list
data/gringo-5.4.0/clasp/libpotassco/tests/test_smodels.cpp:439: lits ==> list
data/gringo-5.4.0/clasp/libpotassco/tests/test_smodels.cpp:439: lits ==> list
data/gringo-5.4.0/clasp/src/CMakeLists.txt:51: satelite ==> satellite
data/gringo-5.4.0/clasp/src/CMakeLists.txt:103: satelite ==> satellite
data/gringo-5.4.0/clasp/src/cb_enumerator.cpp:297: lits ==> list
data/gringo-5.4.0/clasp/src/clasp_output.cpp:26: satelite ==> satellite
data/gringo-5.4.0/clasp/src/clasp_output.cpp:846: SatElite ==> satellite
data/gringo-5.4.0/clasp/src/clasp_output.cpp:852: SatElite ==> satellite
data/gringo-5.4.0/clasp/src/clasp_output.cpp:892: te ==> the, be, we
data/gringo-5.4.0/clasp/src/clasp_output.cpp:892: te ==> the, be, we
data/gringo-5.4.0/clasp/src/clause.cpp:60: lits ==> list
data/gringo-5.4.0/clasp/src/clause.cpp:62: lits ==> list
data/gringo-5.4.0/clasp/src/clause.cpp:165: lits ==> list
data/gringo-5.4.0/clasp/src/clause.cpp:166: lits ==> list
data/gringo-5.4.0/clasp/src/clause.cpp:166: lits ==> list
data/gringo-5.4.0/clasp/src/clause.cpp:168: lits ==> list
data/gringo-5.4.0/clasp/src/clause.cpp:168: lits ==> list
data/gringo-5.4.0/clasp/src/clause.cpp:168: lits ==> list
data/gringo-5.4.0/clasp/src/clause.cpp:169: lits ==> list
data/gringo-5.4.0/clasp/src/clause.cpp:172: lits ==> list
data/gringo-5.4.0/clasp/src/clause.cpp:172: lits ==> list
data/gringo-5.4.0/clasp/src/clause.cpp:188: lits ==> list
data/gringo-5.4.0/clasp/src/clause.cpp:190: lits ==> list
data/gringo-5.4.0/clasp/src/clause.cpp:202: lits ==> list
data/gringo-5.4.0/clasp/src/clause.cpp:224: lits ==> list
data/gringo-5.4.0/clasp/src/clause.cpp:225: lits ==> list
data/gringo-5.4.0/clasp/src/clause.cpp:229: lits ==> list
data/gringo-5.4.0/clasp/src/clause.cpp:234: lits ==> list
data/gringo-5.4.0/clasp/src/clause.cpp:234: lits ==> list
data/gringo-5.4.0/clasp/src/clause.cpp:235: lits ==> list
data/gringo-5.4.0/clasp/src/clause.cpp:235: lits ==> list
data/gringo-5.4.0/clasp/src/clause.cpp:241: lits ==> list
data/gringo-5.4.0/clasp/src/clause.cpp:241: lits ==> list
data/gringo-5.4.0/clasp/src/clause.cpp:253: lits ==> list
data/gringo-5.4.0/clasp/src/clause.cpp:255: lits ==> list
data/gringo-5.4.0/clasp/src/clause.cpp:263: lits ==> list
data/gringo-5.4.0/clasp/src/clause.cpp:292: lits ==> list
data/gringo-5.4.0/clasp/src/clause.cpp:294: lits ==> list
data/gringo-5.4.0/clasp/src/clause.cpp:304: lits ==> list
data/gringo-5.4.0/clasp/src/clause.cpp:304: lits ==> list
data/gringo-5.4.0/clasp/src/clause.cpp:304: lits ==> list
data/gringo-5.4.0/clasp/src/clause.cpp:305: lits ==> list
data/gringo-5.4.0/clasp/src/clause.cpp:305: lits ==> list
data/gringo-5.4.0/clasp/src/clause.cpp:313: lits ==> list
data/gringo-5.4.0/clasp/src/clause.cpp:314: lits ==> list
data/gringo-5.4.0/clasp/src/clause.cpp:319: lits ==> list
data/gringo-5.4.0/clasp/src/clause.cpp:319: lits ==> list
data/gringo-5.4.0/clasp/src/clause.cpp:320: lits ==> list
data/gringo-5.4.0/clasp/src/clause.cpp:368: lits ==> list
data/gringo-5.4.0/clasp/src/clause.cpp:369: lits ==> list
data/gringo-5.4.0/clasp/src/clause.cpp:373: lits ==> list
data/gringo-5.4.0/clasp/src/clause.cpp:384: lits ==> list
data/gringo-5.4.0/clasp/src/clause.cpp:385: lits ==> list
data/gringo-5.4.0/clasp/src/clause.cpp:390: lits ==> list
data/gringo-5.4.0/clasp/src/clause.cpp:390: lits ==> list
data/gringo-5.4.0/clasp/src/clause.cpp:400: lits ==> list
data/gringo-5.4.0/clasp/src/clause.cpp:404: lits ==> list
data/gringo-5.4.0/clasp/src/clause.cpp:419: lits ==> list
data/gringo-5.4.0/clasp/src/clause.cpp:420: lits ==> list
data/gringo-5.4.0/clasp/src/clause.cpp:421: lits ==> list
data/gringo-5.4.0/clasp/src/clause.cpp:581: lits ==> list
data/gringo-5.4.0/clasp/src/clause.cpp:737: lits ==> list
data/gringo-5.4.0/clasp/src/clause.cpp:738: lits ==> list
data/gringo-5.4.0/clasp/src/clause.cpp:816: lits ==> list
data/gringo-5.4.0/clasp/src/clause.cpp:817: lits ==> list
data/gringo-5.4.0/clasp/src/clause.cpp:827: lits ==> list
data/gringo-5.4.0/clasp/src/clause.cpp:894: lits ==> list
data/gringo-5.4.0/clasp/src/clause.cpp:910: lits ==> list
data/gringo-5.4.0/clasp/src/clause.cpp:977: lits ==> list
data/gringo-5.4.0/clasp/src/clause.cpp:984: lits ==> list
data/gringo-5.4.0/clasp/src/clause.cpp:988: lits ==> list
data/gringo-5.4.0/clasp/src/clause.cpp:990: lits ==> list
data/gringo-5.4.0/clasp/src/clingo.cpp:286: lits ==> list
data/gringo-5.4.0/clasp/src/clingo.cpp:287: lits ==> list
data/gringo-5.4.0/clasp/src/dependency_graph.cpp:48: sentinal ==> sentinel
data/gringo-5.4.0/clasp/src/enumerator.cpp:68: lits ==> list
data/gringo-5.4.0/clasp/src/enumerator.cpp:169: lits ==> list
data/gringo-5.4.0/clasp/src/heuristics.cpp:200: lits ==> list
data/gringo-5.4.0/clasp/src/heuristics.cpp:203: lits ==> list
data/gringo-5.4.0/clasp/src/heuristics.cpp:204: lits ==> list
data/gringo-5.4.0/clasp/src/heuristics.cpp:204: lits ==> list
data/gringo-5.4.0/clasp/src/heuristics.cpp:204: lits ==> list
data/gringo-5.4.0/clasp/src/heuristics.cpp:212: lits ==> list
data/gringo-5.4.0/clasp/src/heuristics.cpp:213: lits ==> list
data/gringo-5.4.0/clasp/src/heuristics.cpp:213: lits ==> list
data/gringo-5.4.0/clasp/src/heuristics.cpp:452: lits ==> list
data/gringo-5.4.0/clasp/src/heuristics.cpp:456: lits ==> list
data/gringo-5.4.0/clasp/src/heuristics.cpp:457: lits ==> list
data/gringo-5.4.0/clasp/src/heuristics.cpp:457: lits ==> list
data/gringo-5.4.0/clasp/src/heuristics.cpp:463: lits ==> list
data/gringo-5.4.0/clasp/src/heuristics.cpp:464: lits ==> list
data/gringo-5.4.0/clasp/src/heuristics.cpp:464: lits ==> list
data/gringo-5.4.0/clasp/src/heuristics.cpp:642: lits ==> list
data/gringo-5.4.0/clasp/src/heuristics.cpp:645: lits ==> list
data/gringo-5.4.0/clasp/src/heuristics.cpp:646: lits ==> list
data/gringo-5.4.0/clasp/src/heuristics.cpp:646: lits ==> list
data/gringo-5.4.0/clasp/src/heuristics.cpp:652: lits ==> list
data/gringo-5.4.0/clasp/src/heuristics.cpp:654: lits ==> list
data/gringo-5.4.0/clasp/src/heuristics.cpp:654: lits ==> list
data/gringo-5.4.0/clasp/src/logic_program.cpp:360: lits ==> list
data/gringo-5.4.0/clasp/src/logic_program.cpp:360: lits ==> list
data/gringo-5.4.0/clasp/src/logic_program.cpp:362: lits ==> list
data/gringo-5.4.0/clasp/src/logic_program.cpp:362: lits ==> list
data/gringo-5.4.0/clasp/src/logic_program.cpp:366: lits ==> list
data/gringo-5.4.0/clasp/src/logic_program.cpp:371: lits ==> list
data/gringo-5.4.0/clasp/src/logic_program.cpp:458: lits ==> list
data/gringo-5.4.0/clasp/src/logic_program.cpp:473: lits ==> list
data/gringo-5.4.0/clasp/src/logic_program.cpp:476: lits ==> list
data/gringo-5.4.0/clasp/src/logic_program.cpp:477: lits ==> list
data/gringo-5.4.0/clasp/src/logic_program.cpp:491: lits ==> list
data/gringo-5.4.0/clasp/src/logic_program.cpp:492: lits ==> list
data/gringo-5.4.0/clasp/src/logic_program.cpp:499: lits ==> list
data/gringo-5.4.0/clasp/src/logic_program.cpp:500: lits ==> list
data/gringo-5.4.0/clasp/src/logic_program.cpp:538: lits ==> list
data/gringo-5.4.0/clasp/src/logic_program.cpp:680: lits ==> list
data/gringo-5.4.0/clasp/src/logic_program.cpp:681: lits ==> list
data/gringo-5.4.0/clasp/src/logic_program.cpp:681: lits ==> list
data/gringo-5.4.0/clasp/src/logic_program.cpp:755: lits ==> list
data/gringo-5.4.0/clasp/src/logic_program.cpp:756: lits ==> list
data/gringo-5.4.0/clasp/src/logic_program.cpp:763: lits ==> list
data/gringo-5.4.0/clasp/src/logic_program.cpp:768: lits ==> list
data/gringo-5.4.0/clasp/src/logic_program.cpp:768: lits ==> list
data/gringo-5.4.0/clasp/src/logic_program.cpp:768: lits ==> list
data/gringo-5.4.0/clasp/src/logic_program.cpp:774: lits ==> list
data/gringo-5.4.0/clasp/src/logic_program.cpp:774: lits ==> list
data/gringo-5.4.0/clasp/src/logic_program.cpp:774: lits ==> list
data/gringo-5.4.0/clasp/src/logic_program.cpp:774: lits ==> list
data/gringo-5.4.0/clasp/src/logic_program.cpp:777: wIt ==> with
data/gringo-5.4.0/clasp/src/logic_program.cpp:777: lits ==> list
data/gringo-5.4.0/clasp/src/logic_program.cpp:777: lits ==> list
data/gringo-5.4.0/clasp/src/logic_program.cpp:777: wIt ==> with
data/gringo-5.4.0/clasp/src/logic_program.cpp:777: wIt ==> with
data/gringo-5.4.0/clasp/src/logic_program.cpp:778: wIt ==> with
data/gringo-5.4.0/clasp/src/logic_program.cpp:952: lits ==> list
data/gringo-5.4.0/clasp/src/logic_program.cpp:952: lits ==> list
data/gringo-5.4.0/clasp/src/logic_program.cpp:1672: lits ==> list
data/gringo-5.4.0/clasp/src/logic_program.cpp:1672: lits ==> list
data/gringo-5.4.0/clasp/src/logic_program.cpp:1675: lits ==> list
data/gringo-5.4.0/clasp/src/logic_program.cpp:1690: lits ==> list
data/gringo-5.4.0/clasp/src/logic_program.cpp:1743: lits ==> list
data/gringo-5.4.0/clasp/src/logic_program.cpp:1867: lits ==> list
data/gringo-5.4.0/clasp/src/logic_program.cpp:1868: lits ==> list
data/gringo-5.4.0/clasp/src/logic_program.cpp:1868: lits ==> list
data/gringo-5.4.0/clasp/src/logic_program.cpp:1923: lits ==> list
data/gringo-5.4.0/clasp/src/logic_program.cpp:2106: lits ==> list
data/gringo-5.4.0/clasp/src/logic_program.cpp:2107: lits ==> list
data/gringo-5.4.0/clasp/src/logic_program.cpp:2118: lits ==> list
data/gringo-5.4.0/clasp/src/logic_program.cpp:2119: lits ==> list
data/gringo-5.4.0/clasp/src/logic_program_types.cpp:80: lits ==> list
data/gringo-5.4.0/clasp/src/logic_program_types.cpp:115: lits ==> list
data/gringo-5.4.0/clasp/src/logic_program_types.cpp:662: lits ==> list
data/gringo-5.4.0/clasp/src/logic_program_types.cpp:664: lits ==> list
data/gringo-5.4.0/clasp/src/logic_program_types.cpp:668: lits ==> list
data/gringo-5.4.0/clasp/src/logic_program_types.cpp:668: lits ==> list
data/gringo-5.4.0/clasp/src/logic_program_types.cpp:669: lits ==> list
data/gringo-5.4.0/clasp/src/logic_program_types.cpp:669: lits ==> list
data/gringo-5.4.0/clasp/src/logic_program_types.cpp:680: lits ==> list
data/gringo-5.4.0/clasp/src/logic_program_types.cpp:691: lits ==> list
data/gringo-5.4.0/clasp/src/logic_program_types.cpp:694: lits ==> list
data/gringo-5.4.0/clasp/src/logic_program_types.cpp:694: lits ==> list
data/gringo-5.4.0/clasp/src/logic_program_types.cpp:715: lits ==> list
data/gringo-5.4.0/clasp/src/logic_program_types.cpp:865: lits ==> list
data/gringo-5.4.0/clasp/src/logic_program_types.cpp:866: lits ==> list
data/gringo-5.4.0/clasp/src/logic_program_types.cpp:892: lits ==> list
data/gringo-5.4.0/clasp/src/logic_program_types.cpp:903: lits ==> list
data/gringo-5.4.0/clasp/src/logic_program_types.cpp:912: lits ==> list
data/gringo-5.4.0/clasp/src/logic_program_types.cpp:914: lits ==> list
data/gringo-5.4.0/clasp/src/logic_program_types.cpp:930: lits ==> list
data/gringo-5.4.0/clasp/src/logic_program_types.cpp:935: lits ==> list
data/gringo-5.4.0/clasp/src/logic_program_types.cpp:935: lits ==> list
data/gringo-5.4.0/clasp/src/logic_program_types.cpp:936: lits ==> list
data/gringo-5.4.0/clasp/src/logic_program_types.cpp:936: lits ==> list
data/gringo-5.4.0/clasp/src/logic_program_types.cpp:938: lits ==> list
data/gringo-5.4.0/clasp/src/logic_program_types.cpp:938: lits ==> list
data/gringo-5.4.0/clasp/src/logic_program_types.cpp:942: lits ==> list
data/gringo-5.4.0/clasp/src/logic_program_types.cpp:943: lits ==> list
data/gringo-5.4.0/clasp/src/logic_program_types.cpp:944: lits ==> list
data/gringo-5.4.0/clasp/src/logic_program_types.cpp:945: lits ==> list
data/gringo-5.4.0/clasp/src/logic_program_types.cpp:1004: lits ==> list
data/gringo-5.4.0/clasp/src/logic_program_types.cpp:1008: lits ==> list
data/gringo-5.4.0/clasp/src/logic_program_types.cpp:1122: lits ==> list
data/gringo-5.4.0/clasp/src/logic_program_types.cpp:1122: lits ==> list
data/gringo-5.4.0/clasp/src/logic_program_types.cpp:1123: lits ==> list
data/gringo-5.4.0/clasp/src/logic_program_types.cpp:1123: lits ==> list
data/gringo-5.4.0/clasp/src/logic_program_types.cpp:1124: lits ==> list
data/gringo-5.4.0/clasp/src/logic_program_types.cpp:1125: lits ==> list
data/gringo-5.4.0/clasp/src/logic_program_types.cpp:1170: lits ==> list
data/gringo-5.4.0/clasp/src/logic_program_types.cpp:1170: lits ==> list
data/gringo-5.4.0/clasp/src/logic_program_types.cpp:1171: lits ==> list
data/gringo-5.4.0/clasp/src/logic_program_types.cpp:1171: lits ==> list
data/gringo-5.4.0/clasp/src/logic_program_types.cpp:1172: lits ==> list
data/gringo-5.4.0/clasp/src/logic_program_types.cpp:1173: lits ==> list
data/gringo-5.4.0/clasp/src/logic_program_types.cpp:1298: lits ==> list
data/gringo-5.4.0/clasp/src/logic_program_types.cpp:1301: lits ==> list
data/gringo-5.4.0/clasp/src/logic_program_types.cpp:1303: lits ==> list
data/gringo-5.4.0/clasp/src/lookahead.cpp:272: lits ==> list
data/gringo-5.4.0/clasp/src/minimize_constraint.cpp:55: lits ==> list
data/gringo-5.4.0/clasp/src/minimize_constraint.cpp:193: lits ==> list
data/gringo-5.4.0/clasp/src/minimize_constraint.cpp:210: lits ==> list
data/gringo-5.4.0/clasp/src/minimize_constraint.cpp:225: lits ==> list
data/gringo-5.4.0/clasp/src/minimize_constraint.cpp:244: lits ==> list
data/gringo-5.4.0/clasp/src/minimize_constraint.cpp:252: lits ==> list
data/gringo-5.4.0/clasp/src/minimize_constraint.cpp:261: lits ==> list
data/gringo-5.4.0/clasp/src/minimize_constraint.cpp:267: lits ==> list
data/gringo-5.4.0/clasp/src/minimize_constraint.cpp:293: lits ==> list
data/gringo-5.4.0/clasp/src/minimize_constraint.cpp:310: lits ==> list
data/gringo-5.4.0/clasp/src/minimize_constraint.cpp:315: lits ==> list
data/gringo-5.4.0/clasp/src/minimize_constraint.cpp:324: lits ==> list
data/gringo-5.4.0/clasp/src/minimize_constraint.cpp:369: lits ==> list
data/gringo-5.4.0/clasp/src/minimize_constraint.cpp:373: lits ==> list
data/gringo-5.4.0/clasp/src/minimize_constraint.cpp:382: lits ==> list
data/gringo-5.4.0/clasp/src/minimize_constraint.cpp:387: lits ==> list
data/gringo-5.4.0/clasp/src/minimize_constraint.cpp:388: lits ==> list
data/gringo-5.4.0/clasp/src/minimize_constraint.cpp:391: lits ==> list
data/gringo-5.4.0/clasp/src/minimize_constraint.cpp:392: lits ==> list
data/gringo-5.4.0/clasp/src/minimize_constraint.cpp:404: lits ==> list
data/gringo-5.4.0/clasp/src/minimize_constraint.cpp:449: lits ==> list
data/gringo-5.4.0/clasp/src/minimize_constraint.cpp:548: lits ==> list
data/gringo-5.4.0/clasp/src/minimize_constraint.cpp:565: lits ==> list
data/gringo-5.4.0/clasp/src/minimize_constraint.cpp:566: lits ==> list
data/gringo-5.4.0/clasp/src/minimize_constraint.cpp:566: lits ==> list
data/gringo-5.4.0/clasp/src/minimize_constraint.cpp:582: lits ==> list
data/gringo-5.4.0/clasp/src/minimize_constraint.cpp:585: lits ==> list
data/gringo-5.4.0/clasp/src/minimize_constraint.cpp:633: lits ==> list
data/gringo-5.4.0/clasp/src/minimize_constraint.cpp:698: lits ==> list
data/gringo-5.4.0/clasp/src/minimize_constraint.cpp:708: lits ==> list
data/gringo-5.4.0/clasp/src/minimize_constraint.cpp:710: lits ==> list
data/gringo-5.4.0/clasp/src/minimize_constraint.cpp:876: lits ==> list
data/gringo-5.4.0/clasp/src/minimize_constraint.cpp:1045: lits ==> list
data/gringo-5.4.0/clasp/src/minimize_constraint.cpp:1201: lits ==> list
data/gringo-5.4.0/clasp/src/minimize_constraint.cpp:1207: lits ==> list
data/gringo-5.4.0/clasp/src/minimize_constraint.cpp:1214: lits ==> list
data/gringo-5.4.0/clasp/src/minimize_constraint.cpp:1214: lits ==> list
data/gringo-5.4.0/clasp/src/minimize_constraint.cpp:1234: lits ==> list
data/gringo-5.4.0/clasp/src/minimize_constraint.cpp:1239: lits ==> list
data/gringo-5.4.0/clasp/src/minimize_constraint.cpp:1240: lits ==> list
data/gringo-5.4.0/clasp/src/minimize_constraint.cpp:1241: lits ==> list
data/gringo-5.4.0/clasp/src/minimize_constraint.cpp:1242: lits ==> list
data/gringo-5.4.0/clasp/src/minimize_constraint.cpp:1245: lits ==> list
data/gringo-5.4.0/clasp/src/minimize_constraint.cpp:1247: lits ==> list
data/gringo-5.4.0/clasp/src/minimize_constraint.cpp:1251: lits ==> list
data/gringo-5.4.0/clasp/src/minimize_constraint.cpp:1251: lits ==> list
data/gringo-5.4.0/clasp/src/minimize_constraint.cpp:1251: lits ==> list
data/gringo-5.4.0/clasp/src/minimize_constraint.cpp:1254: lits ==> list
data/gringo-5.4.0/clasp/src/minimize_constraint.cpp:1261: lits ==> list
data/gringo-5.4.0/clasp/src/minimize_constraint.cpp:1271: lits ==> list
data/gringo-5.4.0/clasp/src/minimize_constraint.cpp:1294: lits ==> list
data/gringo-5.4.0/clasp/src/minimize_constraint.cpp:1302: lits ==> list
data/gringo-5.4.0/clasp/src/minimize_constraint.cpp:1305: lits ==> list
data/gringo-5.4.0/clasp/src/minimize_constraint.cpp:1307: lits ==> list
data/gringo-5.4.0/clasp/src/minimize_constraint.cpp:1315: lits ==> list
data/gringo-5.4.0/clasp/src/minimize_constraint.cpp:1351: lits ==> list
data/gringo-5.4.0/clasp/src/minimize_constraint.cpp:1382: lits ==> list
data/gringo-5.4.0/clasp/src/minimize_constraint.cpp:1382: lits ==> list
data/gringo-5.4.0/clasp/src/minimize_constraint.cpp:1383: lits ==> list
data/gringo-5.4.0/clasp/src/minimize_constraint.cpp:1385: lits ==> list
data/gringo-5.4.0/clasp/src/minimize_constraint.cpp:1509: lits ==> list
data/gringo-5.4.0/clasp/src/model_enumerators.cpp:168: lits ==> list
data/gringo-5.4.0/clasp/src/model_enumerators.cpp:171: lits ==> list
data/gringo-5.4.0/clasp/src/model_enumerators.cpp:172: lits ==> list
data/gringo-5.4.0/clasp/src/model_enumerators.cpp:174: lits ==> list
data/gringo-5.4.0/clasp/src/model_enumerators.cpp:175: lits ==> list
data/gringo-5.4.0/clasp/src/model_enumerators.cpp:175: lits ==> list
data/gringo-5.4.0/clasp/src/model_enumerators.cpp:175: lits ==> list
data/gringo-5.4.0/clasp/src/model_enumerators.cpp:176: lits ==> list
data/gringo-5.4.0/clasp/src/model_enumerators.cpp:176: lits ==> list
data/gringo-5.4.0/clasp/src/model_enumerators.cpp:176: lits ==> list
data/gringo-5.4.0/clasp/src/model_enumerators.cpp:265: lits ==> list
data/gringo-5.4.0/clasp/src/parallel_solve.cpp:593: artifical ==> artificial
data/gringo-5.4.0/clasp/src/parallel_solve.cpp:1087: lits ==> list
data/gringo-5.4.0/clasp/src/parallel_solve.cpp:1088: lits ==> list
data/gringo-5.4.0/clasp/src/parallel_solve.cpp:1106: sentinal ==> sentinel
data/gringo-5.4.0/clasp/src/parallel_solve.cpp:1129: sentinal ==> sentinel
data/gringo-5.4.0/clasp/src/parser.cpp:408: lits ==> list
data/gringo-5.4.0/clasp/src/parser.cpp:432: lits ==> list
data/gringo-5.4.0/clasp/src/parser.cpp:438: lits ==> list
data/gringo-5.4.0/clasp/src/parser.cpp:443: lits ==> list
data/gringo-5.4.0/clasp/src/program_builder.cpp:164: lits ==> list
data/gringo-5.4.0/clasp/src/program_builder.cpp:166: lits ==> list
data/gringo-5.4.0/clasp/src/program_builder.cpp:168: lits ==> list
data/gringo-5.4.0/clasp/src/program_builder.cpp:168: lits ==> list
data/gringo-5.4.0/clasp/src/program_builder.cpp:234: lits ==> list
data/gringo-5.4.0/clasp/src/program_builder.cpp:238: lits ==> list
data/gringo-5.4.0/clasp/src/program_builder.cpp:243: lits ==> list
data/gringo-5.4.0/clasp/src/program_builder.cpp:243: lits ==> list
data/gringo-5.4.0/clasp/src/program_builder.cpp:243: lits ==> list
data/gringo-5.4.0/clasp/src/program_builder.cpp:243: lits ==> list
data/gringo-5.4.0/clasp/src/program_builder.cpp:244: lits ==> list
data/gringo-5.4.0/clasp/src/program_builder.cpp:244: lits ==> list
data/gringo-5.4.0/clasp/src/program_builder.cpp:245: lits ==> list
data/gringo-5.4.0/clasp/src/program_builder.cpp:249: lits ==> list
data/gringo-5.4.0/clasp/src/program_builder.cpp:276: lits ==> list
data/gringo-5.4.0/clasp/src/program_builder.cpp:278: lits ==> list
data/gringo-5.4.0/clasp/src/program_builder.cpp:278: lits ==> list
data/gringo-5.4.0/clasp/src/program_builder.cpp:279: lits ==> list
data/gringo-5.4.0/clasp/src/program_builder.cpp:280: lits ==> list
data/gringo-5.4.0/clasp/src/program_builder.cpp:287: lits ==> list
data/gringo-5.4.0/clasp/src/program_builder.cpp:290: lits ==> list
data/gringo-5.4.0/clasp/src/program_builder.cpp:292: lits ==> list
data/gringo-5.4.0/clasp/src/program_builder.cpp:295: lits ==> list
data/gringo-5.4.0/clasp/src/program_builder.cpp:296: lits ==> list
data/gringo-5.4.0/clasp/src/program_builder.cpp:296: lits ==> list
data/gringo-5.4.0/clasp/src/program_builder.cpp:298: lits ==> list
data/gringo-5.4.0/clasp/src/program_builder.cpp:302: lits ==> list
data/gringo-5.4.0/clasp/src/program_builder.cpp:302: lits ==> list
data/gringo-5.4.0/clasp/src/program_builder.cpp:303: lits ==> list
data/gringo-5.4.0/clasp/src/program_builder.cpp:306: lits ==> list
data/gringo-5.4.0/clasp/src/program_builder.cpp:312: lits ==> list
data/gringo-5.4.0/clasp/src/program_builder.cpp:313: lits ==> list
data/gringo-5.4.0/clasp/src/program_builder.cpp:313: lits ==> list
data/gringo-5.4.0/clasp/src/program_builder.cpp:314: lits ==> list
data/gringo-5.4.0/clasp/src/program_builder.cpp:314: lits ==> list
data/gringo-5.4.0/clasp/src/program_builder.cpp:315: lits ==> list
data/gringo-5.4.0/clasp/src/program_builder.cpp:317: lits ==> list
data/gringo-5.4.0/clasp/src/program_builder.cpp:321: lits ==> list
data/gringo-5.4.0/clasp/src/program_builder.cpp:321: lits ==> list
data/gringo-5.4.0/clasp/src/program_builder.cpp:326: lits ==> list
data/gringo-5.4.0/clasp/src/program_builder.cpp:327: lits ==> list
data/gringo-5.4.0/clasp/src/program_builder.cpp:386: lits ==> list
data/gringo-5.4.0/clasp/src/program_builder.cpp:390: lits ==> list
data/gringo-5.4.0/clasp/src/program_builder.cpp:390: lits ==> list
data/gringo-5.4.0/clasp/src/satelite.cpp:24: satelite ==> satellite
data/gringo-5.4.0/clasp/src/satelite.cpp:29: SatElite ==> satellite
data/gringo-5.4.0/clasp/src/satelite.cpp:32: SatElite ==> satellite
data/gringo-5.4.0/clasp/src/satelite.cpp:32: SatElite ==> satellite
data/gringo-5.4.0/clasp/src/satelite.cpp:39: SatElite ==> satellite
data/gringo-5.4.0/clasp/src/satelite.cpp:39: SatElite ==> satellite
data/gringo-5.4.0/clasp/src/satelite.cpp:40: SatElite ==> satellite
data/gringo-5.4.0/clasp/src/satelite.cpp:43: SatElite ==> satellite
data/gringo-5.4.0/clasp/src/satelite.cpp:47: SatElite ==> satellite
data/gringo-5.4.0/clasp/src/satelite.cpp:48: SatElite ==> satellite
data/gringo-5.4.0/clasp/src/satelite.cpp:48: SatElite ==> satellite
data/gringo-5.4.0/clasp/src/satelite.cpp:52: SatElite ==> satellite
data/gringo-5.4.0/clasp/src/satelite.cpp:63: SatElite ==> satellite
data/gringo-5.4.0/clasp/src/satelite.cpp:71: SatElite ==> satellite
data/gringo-5.4.0/clasp/src/satelite.cpp:79: SatElite ==> satellite
data/gringo-5.4.0/clasp/src/satelite.cpp:99: SatElite ==> satellite
data/gringo-5.4.0/clasp/src/satelite.cpp:110: SatElite ==> satellite
data/gringo-5.4.0/clasp/src/satelite.cpp:130: SatElite ==> satellite
data/gringo-5.4.0/clasp/src/satelite.cpp:138: SatElite ==> satellite
data/gringo-5.4.0/clasp/src/satelite.cpp:158: SatElite ==> satellite
data/gringo-5.4.0/clasp/src/satelite.cpp:178: SatElite ==> satellite
data/gringo-5.4.0/clasp/src/satelite.cpp:237: SatElite ==> satellite
data/gringo-5.4.0/clasp/src/satelite.cpp:269: SatElite ==> satellite
data/gringo-5.4.0/clasp/src/satelite.cpp:282: SatElite ==> satellite
data/gringo-5.4.0/clasp/src/satelite.cpp:336: SatElite ==> satellite
data/gringo-5.4.0/clasp/src/satelite.cpp:357: SatElite ==> satellite
data/gringo-5.4.0/clasp/src/satelite.cpp:357: SatElite ==> satellite
data/gringo-5.4.0/clasp/src/satelite.cpp:376: SatElite ==> satellite
data/gringo-5.4.0/clasp/src/satelite.cpp:376: lits ==> list
data/gringo-5.4.0/clasp/src/satelite.cpp:378: lits ==> list
data/gringo-5.4.0/clasp/src/satelite.cpp:378: lits ==> list
data/gringo-5.4.0/clasp/src/satelite.cpp:381: SatElite ==> satellite
data/gringo-5.4.0/clasp/src/satelite.cpp:381: lits ==> list
data/gringo-5.4.0/clasp/src/satelite.cpp:383: lits ==> list
data/gringo-5.4.0/clasp/src/satelite.cpp:391: SatElite ==> satellite
data/gringo-5.4.0/clasp/src/satelite.cpp:468: SatElite ==> satellite
data/gringo-5.4.0/clasp/src/satelite.cpp:483: SatElite ==> satellite
data/gringo-5.4.0/clasp/src/satelite.cpp:502: SatElite ==> satellite
data/gringo-5.4.0/clasp/src/satelite.cpp:514: SatElite ==> satellite
data/gringo-5.4.0/clasp/src/satelite.cpp:556: SatElite ==> satellite
data/gringo-5.4.0/clasp/src/satelite.cpp:590: lits ==> list
data/gringo-5.4.0/clasp/src/satelite.cpp:619: SatElite ==> satellite
data/gringo-5.4.0/clasp/src/shared_context.cpp:227: lits ==> list
data/gringo-5.4.0/clasp/src/shared_context.cpp:229: lits ==> list
data/gringo-5.4.0/clasp/src/shared_context.cpp:229: lits ==> list
data/gringo-5.4.0/clasp/src/shared_context.cpp:229: lits ==> list
data/gringo-5.4.0/clasp/src/shared_context.cpp:385: lits ==> list
data/gringo-5.4.0/clasp/src/shared_context.cpp:387: lits ==> list
data/gringo-5.4.0/clasp/src/shared_context.cpp:390: lits ==> list
data/gringo-5.4.0/clasp/src/shared_context.cpp:502: lits ==> list
data/gringo-5.4.0/clasp/src/shared_context.cpp:505: lits ==> list
data/gringo-5.4.0/clasp/src/shared_context.cpp:507: lits ==> list
data/gringo-5.4.0/clasp/src/shared_context.cpp:508: lits ==> list
data/gringo-5.4.0/clasp/src/shared_context.cpp:722: strat ==> start, strata
data/gringo-5.4.0/clasp/src/shared_context.cpp:723: lits ==> list
data/gringo-5.4.0/clasp/src/shared_context.cpp:724: strat ==> start, strata
data/gringo-5.4.0/clasp/src/shared_context.cpp:725: strat ==> start, strata
data/gringo-5.4.0/clasp/src/shared_context.cpp:963: lits ==> list
data/gringo-5.4.0/clasp/src/shared_context.cpp:964: lits ==> list
data/gringo-5.4.0/clasp/src/shared_context.cpp:968: lits ==> list
data/gringo-5.4.0/clasp/src/shared_context.cpp:969: lits ==> list
data/gringo-5.4.0/clasp/src/shared_context.cpp:992: lits ==> list
data/gringo-5.4.0/clasp/src/shared_context.cpp:996: lits ==> list
data/gringo-5.4.0/clasp/src/shared_context.cpp:999: lits ==> list
data/gringo-5.4.0/clasp/src/solver.cpp:325: lits ==> list
data/gringo-5.4.0/clasp/src/solver.cpp:329: lits ==> list
data/gringo-5.4.0/clasp/src/solver.cpp:336: lits ==> list
data/gringo-5.4.0/clasp/src/solver.cpp:353: lits ==> list
data/gringo-5.4.0/clasp/src/solver.cpp:356: lits ==> list
data/gringo-5.4.0/clasp/src/solver.cpp:945: lits ==> list
data/gringo-5.4.0/clasp/src/solver.cpp:948: lits ==> list
data/gringo-5.4.0/clasp/src/solver.cpp:949: lits ==> list
data/gringo-5.4.0/clasp/src/solver.cpp:955: lits ==> list
data/gringo-5.4.0/clasp/src/solver.cpp:955: lits ==> list
data/gringo-5.4.0/clasp/src/solver.cpp:956: lits ==> list
data/gringo-5.4.0/clasp/src/solver.cpp:957: lits ==> list
data/gringo-5.4.0/clasp/src/solver.cpp:1168: resSize ==> resize
data/gringo-5.4.0/clasp/src/solver.cpp:1174: resSize ==> resize
data/gringo-5.4.0/clasp/src/solver.cpp:1182: resSize ==> resize
data/gringo-5.4.0/clasp/src/solver.cpp:1195: resSize ==> resize
data/gringo-5.4.0/clasp/src/solver.cpp:1196: resSize ==> resize
data/gringo-5.4.0/clasp/src/solver_strategies.cpp:61: strat ==> start, strata
data/gringo-5.4.0/clasp/src/unfounded_check.cpp:37: circularly ==> circular
data/gringo-5.4.0/clasp/src/unfounded_check.cpp:43: circularly ==> circular
data/gringo-5.4.0/clasp/src/unfounded_check.cpp:65: circularly ==> circular
data/gringo-5.4.0/clasp/src/unfounded_check.cpp:357: inadvertantly ==> inadvertently
data/gringo-5.4.0/clasp/src/unfounded_check.cpp:396: autmatically ==> automatically
data/gringo-5.4.0/clasp/src/unfounded_check.cpp:397: explicity ==> explicitly
data/gringo-5.4.0/clasp/src/unfounded_check.cpp:448: circularly ==> circular
data/gringo-5.4.0/clasp/src/unfounded_check.cpp:480: emtpy ==> empty
data/gringo-5.4.0/clasp/src/weight_constraint.cpp:41: lits ==> list
data/gringo-5.4.0/clasp/src/weight_constraint.cpp:42: lits ==> list
data/gringo-5.4.0/clasp/src/weight_constraint.cpp:46: lits ==> list
data/gringo-5.4.0/clasp/src/weight_constraint.cpp:47: lits ==> list
data/gringo-5.4.0/clasp/src/weight_constraint.cpp:48: lits ==> list
data/gringo-5.4.0/clasp/src/weight_constraint.cpp:49: lits ==> list
data/gringo-5.4.0/clasp/src/weight_constraint.cpp:50: lits ==> list
data/gringo-5.4.0/clasp/src/weight_constraint.cpp:51: lits ==> list
data/gringo-5.4.0/clasp/src/weight_constraint.cpp:51: lits ==> list
data/gringo-5.4.0/clasp/src/weight_constraint.cpp:52: lits ==> list
data/gringo-5.4.0/clasp/src/weight_constraint.cpp:53: lits ==> list
data/gringo-5.4.0/clasp/src/weight_constraint.cpp:56: lits ==> list
data/gringo-5.4.0/clasp/src/weight_constraint.cpp:56: lits ==> list
data/gringo-5.4.0/clasp/src/weight_constraint.cpp:61: lits ==> list
data/gringo-5.4.0/clasp/src/weight_constraint.cpp:62: lits ==> list
data/gringo-5.4.0/clasp/src/weight_constraint.cpp:62: lits ==> list
data/gringo-5.4.0/clasp/src/weight_constraint.cpp:65: lits ==> list
data/gringo-5.4.0/clasp/src/weight_constraint.cpp:66: lits ==> list
data/gringo-5.4.0/clasp/src/weight_constraint.cpp:67: lits ==> list
data/gringo-5.4.0/clasp/src/weight_constraint.cpp:67: lits ==> list
data/gringo-5.4.0/clasp/src/weight_constraint.cpp:68: lits ==> list
data/gringo-5.4.0/clasp/src/weight_constraint.cpp:69: lits ==> list
data/gringo-5.4.0/clasp/src/weight_constraint.cpp:70: lits ==> list
data/gringo-5.4.0/clasp/src/weight_constraint.cpp:73: lits ==> list
data/gringo-5.4.0/clasp/src/weight_constraint.cpp:75: lits ==> list
data/gringo-5.4.0/clasp/src/weight_constraint.cpp:75: lits ==> list
data/gringo-5.4.0/clasp/src/weight_constraint.cpp:77: lits ==> list
data/gringo-5.4.0/clasp/src/weight_constraint.cpp:77: lits ==> list
data/gringo-5.4.0/clasp/src/weight_constraint.cpp:77: lits ==> list
data/gringo-5.4.0/clasp/src/weight_constraint.cpp:82: lits ==> list
data/gringo-5.4.0/clasp/src/weight_constraint.cpp:84: lits ==> list
data/gringo-5.4.0/clasp/src/weight_constraint.cpp:84: lits ==> list
data/gringo-5.4.0/clasp/src/weight_constraint.cpp:84: lits ==> list
data/gringo-5.4.0/clasp/src/weight_constraint.cpp:89: lits ==> list
data/gringo-5.4.0/clasp/src/weight_constraint.cpp:90: lits ==> list
data/gringo-5.4.0/clasp/src/weight_constraint.cpp:91: lits ==> list
data/gringo-5.4.0/clasp/src/weight_constraint.cpp:92: lits ==> list
data/gringo-5.4.0/clasp/src/weight_constraint.cpp:92: lits ==> list
data/gringo-5.4.0/clasp/src/weight_constraint.cpp:92: lits ==> list
data/gringo-5.4.0/clasp/src/weight_constraint.cpp:93: lits ==> list
data/gringo-5.4.0/clasp/src/weight_constraint.cpp:93: lits ==> list
data/gringo-5.4.0/clasp/src/weight_constraint.cpp:94: lits ==> list
data/gringo-5.4.0/clasp/src/weight_constraint.cpp:95: lits ==> list
data/gringo-5.4.0/clasp/src/weight_constraint.cpp:99: lits ==> list
data/gringo-5.4.0/clasp/src/weight_constraint.cpp:99: lits ==> list
data/gringo-5.4.0/clasp/src/weight_constraint.cpp:108: lits ==> list
data/gringo-5.4.0/clasp/src/weight_constraint.cpp:108: lits ==> list
data/gringo-5.4.0/clasp/src/weight_constraint.cpp:110: lits ==> list
data/gringo-5.4.0/clasp/src/weight_constraint.cpp:110: lits ==> list
data/gringo-5.4.0/clasp/src/weight_constraint.cpp:110: lits ==> list
data/gringo-5.4.0/clasp/src/weight_constraint.cpp:128: lits ==> list
data/gringo-5.4.0/clasp/src/weight_constraint.cpp:130: lits ==> list
data/gringo-5.4.0/clasp/src/weight_constraint.cpp:134: lits ==> list
data/gringo-5.4.0/clasp/src/weight_constraint.cpp:134: lits ==> list
data/gringo-5.4.0/clasp/src/weight_constraint.cpp:152: lits ==> list
data/gringo-5.4.0/clasp/src/weight_constraint.cpp:152: lits ==> list
data/gringo-5.4.0/clasp/src/weight_constraint.cpp:169: lits ==> list
data/gringo-5.4.0/clasp/src/weight_constraint.cpp:171: lits ==> list
data/gringo-5.4.0/clasp/src/weight_constraint.cpp:178: lits ==> list
data/gringo-5.4.0/clasp/src/weight_constraint.cpp:179: lits ==> list
data/gringo-5.4.0/clasp/src/weight_constraint.cpp:180: lits ==> list
data/gringo-5.4.0/clasp/src/weight_constraint.cpp:205: lits ==> list
data/gringo-5.4.0/clasp/src/weight_constraint.cpp:256: lits ==> list
data/gringo-5.4.0/clasp/src/weight_constraint.cpp:268: lits ==> list
data/gringo-5.4.0/clasp/src/weight_constraint.cpp:274: lits ==> list
data/gringo-5.4.0/clasp/src/weight_constraint.cpp:275: lits ==> list
data/gringo-5.4.0/clasp/src/weight_constraint.cpp:314: lits ==> list
data/gringo-5.4.0/clasp/src/weight_constraint.cpp:315: lits ==> list
data/gringo-5.4.0/clasp/src/weight_constraint.cpp:432: lits ==> list
data/gringo-5.4.0/clasp/src/weight_constraint.cpp:490: lits ==> list
data/gringo-5.4.0/clasp/src/weight_constraint.cpp:505: lits ==> list
data/gringo-5.4.0/clasp/src/weight_constraint.cpp:555: lits ==> list
data/gringo-5.4.0/clasp/src/weight_constraint.cpp:555: lits ==> list
data/gringo-5.4.0/clasp/src/weight_constraint.cpp:560: lits ==> list
data/gringo-5.4.0/clasp/src/weight_constraint.cpp:567: lits ==> list
data/gringo-5.4.0/clasp/src/weight_constraint.cpp:568: lits ==> list
data/gringo-5.4.0/clasp/src/weight_constraint.cpp:568: lits ==> list
data/gringo-5.4.0/clasp/src/weight_constraint.cpp:569: lits ==> list
data/gringo-5.4.0/clasp/src/weight_constraint.cpp:569: lits ==> list
data/gringo-5.4.0/clasp/src/weight_constraint.cpp:572: lits ==> list
data/gringo-5.4.0/clasp/src/weight_constraint.cpp:575: lits ==> list
data/gringo-5.4.0/clasp/src/weight_constraint.cpp:582: lits ==> list
data/gringo-5.4.0/clasp/src/weight_constraint.cpp:583: lits ==> list
data/gringo-5.4.0/clasp/tests/catch.hpp:86: SEH ==> SHE
data/gringo-5.4.0/clasp/tests/catch.hpp:8158: alpha-numeric ==> alphanumeric
data/gringo-5.4.0/clasp/tests/clause_creator_test.cpp:55: lits ==> list
data/gringo-5.4.0/clasp/tests/clause_creator_test.cpp:198: lits ==> list
data/gringo-5.4.0/clasp/tests/clause_creator_test.cpp:211: lits ==> list
data/gringo-5.4.0/clasp/tests/clause_creator_test.cpp:225: lits ==> list
data/gringo-5.4.0/clasp/tests/clause_creator_test.cpp:225: lits ==> list
data/gringo-5.4.0/clasp/tests/clause_creator_test.cpp:530: lits ==> list
data/gringo-5.4.0/clasp/tests/clause_test.cpp:34: lits ==> list
data/gringo-5.4.0/clasp/tests/clause_test.cpp:36: lits ==> list
data/gringo-5.4.0/clasp/tests/clause_test.cpp:37: lits ==> list
data/gringo-5.4.0/clasp/tests/clause_test.cpp:41: lits ==> list
data/gringo-5.4.0/clasp/tests/clause_test.cpp:43: lits ==> list
data/gringo-5.4.0/clasp/tests/clause_test.cpp:45: lits ==> list
data/gringo-5.4.0/clasp/tests/clause_test.cpp:46: lits ==> list
data/gringo-5.4.0/clasp/tests/clause_test.cpp:47: lits ==> list
data/gringo-5.4.0/clasp/tests/clause_test.cpp:48: lits ==> list
data/gringo-5.4.0/clasp/tests/clause_test.cpp:50: lits ==> list
data/gringo-5.4.0/clasp/tests/clause_test.cpp:51: lits ==> list
data/gringo-5.4.0/clasp/tests/clause_test.cpp:53: lits ==> list
data/gringo-5.4.0/clasp/tests/clause_test.cpp:54: lits ==> list
data/gringo-5.4.0/clasp/tests/clause_test.cpp:56: lits ==> list
data/gringo-5.4.0/clasp/tests/clause_test.cpp:291: lits ==> list
data/gringo-5.4.0/clasp/tests/clause_test.cpp:292: lits ==> list
data/gringo-5.4.0/clasp/tests/clause_test.cpp:295: lits ==> list
data/gringo-5.4.0/clasp/tests/clause_test.cpp:298: lits ==> list
data/gringo-5.4.0/clasp/tests/clause_test.cpp:441: lits ==> list
data/gringo-5.4.0/clasp/tests/clause_test.cpp:444: lits ==> list
data/gringo-5.4.0/clasp/tests/clause_test.cpp:447: lits ==> list
data/gringo-5.4.0/clasp/tests/clause_test.cpp:449: lits ==> list
data/gringo-5.4.0/clasp/tests/clause_test.cpp:452: lits ==> list
data/gringo-5.4.0/clasp/tests/clause_test.cpp:455: lits ==> list
data/gringo-5.4.0/clasp/tests/clause_test.cpp:512: lits ==> list
data/gringo-5.4.0/clasp/tests/clause_test.cpp:513: lits ==> list
data/gringo-5.4.0/clasp/tests/clause_test.cpp:514: lits ==> list
data/gringo-5.4.0/clasp/tests/clause_test.cpp:515: lits ==> list
data/gringo-5.4.0/clasp/tests/clause_test.cpp:523: lits ==> list
data/gringo-5.4.0/clasp/tests/clause_test.cpp:524: lits ==> list
data/gringo-5.4.0/clasp/tests/clause_test.cpp:525: lits ==> list
data/gringo-5.4.0/clasp/tests/clause_test.cpp:526: lits ==> list
data/gringo-5.4.0/clasp/tests/clause_test.cpp:532: lits ==> list
data/gringo-5.4.0/clasp/tests/clause_test.cpp:540: lits ==> list
data/gringo-5.4.0/clasp/tests/clause_test.cpp:542: lits ==> list
data/gringo-5.4.0/clasp/tests/clause_test.cpp:543: lits ==> list
data/gringo-5.4.0/clasp/tests/clause_test.cpp:545: lits ==> list
data/gringo-5.4.0/clasp/tests/clause_test.cpp:545: lits ==> list
data/gringo-5.4.0/clasp/tests/clause_test.cpp:546: lits ==> list
data/gringo-5.4.0/clasp/tests/clause_test.cpp:547: lits ==> list
data/gringo-5.4.0/clasp/tests/clause_test.cpp:548: lits ==> list
data/gringo-5.4.0/clasp/tests/clause_test.cpp:549: lits ==> list
data/gringo-5.4.0/clasp/tests/clause_test.cpp:552: lits ==> list
data/gringo-5.4.0/clasp/tests/clause_test.cpp:553: lits ==> list
data/gringo-5.4.0/clasp/tests/clause_test.cpp:556: lits ==> list
data/gringo-5.4.0/clasp/tests/clause_test.cpp:557: lits ==> list
data/gringo-5.4.0/clasp/tests/clause_test.cpp:558: lits ==> list
data/gringo-5.4.0/clasp/tests/clause_test.cpp:583: lits ==> list
data/gringo-5.4.0/clasp/tests/clause_test.cpp:584: lits ==> list
data/gringo-5.4.0/clasp/tests/clause_test.cpp:584: lits ==> list
data/gringo-5.4.0/clasp/tests/clause_test.cpp:870: lits ==> list
data/gringo-5.4.0/clasp/tests/clause_test.cpp:872: lits ==> list
data/gringo-5.4.0/clasp/tests/clause_test.cpp:872: lits ==> list
data/gringo-5.4.0/clasp/tests/clause_test.cpp:1003: lits ==> list
data/gringo-5.4.0/clasp/tests/clause_test.cpp:1004: lits ==> list
data/gringo-5.4.0/clasp/tests/clause_test.cpp:1005: lits ==> list
data/gringo-5.4.0/clasp/tests/cli_test.cpp:390: oll ==> all, ole, old, olly, oil
data/gringo-5.4.0/clasp/tests/cli_test.cpp:404: oll ==> all, ole, old, olly, oil
data/gringo-5.4.0/clasp/tests/cli_test.cpp:406: oll ==> all, ole, old, olly, oil
data/gringo-5.4.0/clasp/tests/cli_test.cpp:407: oll ==> all, ole, old, olly, oil
data/gringo-5.4.0/clasp/tests/cli_test.cpp:409: oll ==> all, ole, old, olly, oil
data/gringo-5.4.0/clasp/tests/cli_test.cpp:410: oll ==> all, ole, old, olly, oil
data/gringo-5.4.0/clasp/tests/cli_test.cpp:411: oll ==> all, ole, old, olly, oil
data/gringo-5.4.0/clasp/tests/cli_test.cpp:426: oll ==> all, ole, old, olly, oil
data/gringo-5.4.0/clasp/tests/facade_test.cpp:363: oll ==> all, ole, old, olly, oil
data/gringo-5.4.0/clasp/tests/facade_test.cpp:979: happend ==> happened, happens, happen
data/gringo-5.4.0/clasp/tests/minimize_test.cpp:41: lits ==> list
data/gringo-5.4.0/clasp/tests/minimize_test.cpp:42: lits ==> list
data/gringo-5.4.0/clasp/tests/minimize_test.cpp:43: lits ==> list
data/gringo-5.4.0/clasp/tests/minimize_test.cpp:44: lits ==> list
data/gringo-5.4.0/clasp/tests/minimize_test.cpp:99: lits ==> list
data/gringo-5.4.0/clasp/tests/minimize_test.cpp:100: lits ==> list
data/gringo-5.4.0/clasp/tests/minimize_test.cpp:118: lits ==> list
data/gringo-5.4.0/clasp/tests/minimize_test.cpp:118: lits ==> list
data/gringo-5.4.0/clasp/tests/minimize_test.cpp:119: lits ==> list
data/gringo-5.4.0/clasp/tests/minimize_test.cpp:160: lits ==> list
data/gringo-5.4.0/clasp/tests/minimize_test.cpp:162: lits ==> list
data/gringo-5.4.0/clasp/tests/minimize_test.cpp:230: lits ==> list
data/gringo-5.4.0/clasp/tests/minimize_test.cpp:255: lits ==> list
data/gringo-5.4.0/clasp/tests/minimize_test.cpp:255: lits ==> list
data/gringo-5.4.0/clasp/tests/minimize_test.cpp:498: disbale ==> disable
data/gringo-5.4.0/clasp/tests/minimize_test.cpp:973: lits ==> list
data/gringo-5.4.0/clasp/tests/minimize_test.cpp:983: lits ==> list
data/gringo-5.4.0/clasp/tests/minimize_test.cpp:984: lits ==> list
data/gringo-5.4.0/clasp/tests/minimize_test.cpp:985: lits ==> list
data/gringo-5.4.0/clasp/tests/minimize_test.cpp:986: lits ==> list
data/gringo-5.4.0/clasp/tests/minimize_test.cpp:1000: lits ==> list
data/gringo-5.4.0/clasp/tests/minimize_test.cpp:1001: lits ==> list
data/gringo-5.4.0/clasp/tests/minimize_test.cpp:1002: lits ==> list
data/gringo-5.4.0/clasp/tests/minimize_test.cpp:1017: lits ==> list
data/gringo-5.4.0/clasp/tests/minimize_test.cpp:1017: lits ==> list
data/gringo-5.4.0/clasp/tests/minimize_test.cpp:1020: lits ==> list
data/gringo-5.4.0/clasp/tests/minimize_test.cpp:1021: lits ==> list
data/gringo-5.4.0/clasp/tests/minimize_test.cpp:1022: lits ==> list
data/gringo-5.4.0/clasp/tests/minimize_test.cpp:1039: lits ==> list
data/gringo-5.4.0/clasp/tests/minimize_test.cpp:1039: lits ==> list
data/gringo-5.4.0/clasp/tests/minimize_test.cpp:1043: lits ==> list
data/gringo-5.4.0/clasp/tests/minimize_test.cpp:1044: lits ==> list
data/gringo-5.4.0/clasp/tests/minimize_test.cpp:1046: lits ==> list
data/gringo-5.4.0/clasp/tests/minimize_test.cpp:1075: lits ==> list
data/gringo-5.4.0/clasp/tests/minimize_test.cpp:1076: lits ==> list
data/gringo-5.4.0/clasp/tests/parser_test.cpp:199: lits ==> list
data/gringo-5.4.0/clasp/tests/parser_test.cpp:199: lits ==> list
data/gringo-5.4.0/clasp/tests/parser_test.cpp:199: lits ==> list
data/gringo-5.4.0/clasp/tests/parser_test.cpp:200: lits ==> list
data/gringo-5.4.0/clasp/tests/parser_test.cpp:200: lits ==> list
data/gringo-5.4.0/clasp/tests/parser_test.cpp:200: lits ==> list
data/gringo-5.4.0/clasp/tests/parser_test.cpp:201: lits ==> list
data/gringo-5.4.0/clasp/tests/parser_test.cpp:201: lits ==> list
data/gringo-5.4.0/clasp/tests/parser_test.cpp:201: lits ==> list
data/gringo-5.4.0/clasp/tests/parser_test.cpp:202: lits ==> list
data/gringo-5.4.0/clasp/tests/parser_test.cpp:202: lits ==> list
data/gringo-5.4.0/clasp/tests/parser_test.cpp:202: lits ==> list
data/gringo-5.4.0/clasp/tests/parser_test.cpp:257: lits ==> list
data/gringo-5.4.0/clasp/tests/parser_test.cpp:257: lits ==> list
data/gringo-5.4.0/clasp/tests/parser_test.cpp:257: lits ==> list
data/gringo-5.4.0/clasp/tests/parser_test.cpp:258: lits ==> list
data/gringo-5.4.0/clasp/tests/parser_test.cpp:258: lits ==> list
data/gringo-5.4.0/clasp/tests/parser_test.cpp:258: lits ==> list
data/gringo-5.4.0/clasp/tests/parser_test.cpp:267: lits ==> list
data/gringo-5.4.0/clasp/tests/parser_test.cpp:268: lits ==> list
data/gringo-5.4.0/clasp/tests/parser_test.cpp:268: lits ==> list
data/gringo-5.4.0/clasp/tests/parser_test.cpp:268: lits ==> list
data/gringo-5.4.0/clasp/tests/parser_test.cpp:269: lits ==> list
data/gringo-5.4.0/clasp/tests/parser_test.cpp:269: lits ==> list
data/gringo-5.4.0/clasp/tests/parser_test.cpp:269: lits ==> list
data/gringo-5.4.0/clasp/tests/parser_test.cpp:654: lits ==> list
data/gringo-5.4.0/clasp/tests/parser_test.cpp:655: lits ==> list
data/gringo-5.4.0/clasp/tests/parser_test.cpp:739: lits ==> list
data/gringo-5.4.0/clasp/tests/parser_test.cpp:740: lits ==> list
data/gringo-5.4.0/clasp/tests/parser_test.cpp:741: lits ==> list
data/gringo-5.4.0/clasp/tests/parser_test.cpp:742: lits ==> list
data/gringo-5.4.0/clasp/tests/parser_test.cpp:746: Weigthed ==> Weighted
data/gringo-5.4.0/clasp/tests/parser_test.cpp:759: lits ==> list
data/gringo-5.4.0/clasp/tests/parser_test.cpp:760: lits ==> list
data/gringo-5.4.0/clasp/tests/parser_test.cpp:761: lits ==> list
data/gringo-5.4.0/clasp/tests/parser_test.cpp:789: lits ==> list
data/gringo-5.4.0/clasp/tests/parser_test.cpp:790: lits ==> list
data/gringo-5.4.0/clasp/tests/parser_test.cpp:791: lits ==> list
data/gringo-5.4.0/clasp/tests/parser_test.cpp:792: lits ==> list
data/gringo-5.4.0/clasp/tests/program_builder_test.cpp:281: lits ==> list
data/gringo-5.4.0/clasp/tests/program_builder_test.cpp:289: lits ==> list
data/gringo-5.4.0/clasp/tests/program_builder_test.cpp:291: lits ==> list
data/gringo-5.4.0/clasp/tests/program_builder_test.cpp:292: lits ==> list
data/gringo-5.4.0/clasp/tests/program_builder_test.cpp:295: lits ==> list
data/gringo-5.4.0/clasp/tests/program_builder_test.cpp:297: lits ==> list
data/gringo-5.4.0/clasp/tests/program_builder_test.cpp:752: lits ==> list
data/gringo-5.4.0/clasp/tests/rule_test.cpp:36: lits ==> list
data/gringo-5.4.0/clasp/tests/rule_test.cpp:36: lits ==> list
data/gringo-5.4.0/clasp/tests/rule_test.cpp:36: lits ==> list
data/gringo-5.4.0/clasp/tests/rule_test.cpp:36: lits ==> list
data/gringo-5.4.0/clasp/tests/rule_test.cpp:36: lits ==> list
data/gringo-5.4.0/clasp/tests/satelite_test.cpp:24: satelite ==> satellite
data/gringo-5.4.0/clasp/tests/satelite_test.cpp:39: SatElite ==> satellite
data/gringo-5.4.0/clasp/tests/satelite_test.cpp:41: SatElite ==> satellite
data/gringo-5.4.0/clasp/tests/solver_test.cpp:1245: lits ==> list
data/gringo-5.4.0/clasp/tests/solver_test.cpp:1245: lits ==> list
data/gringo-5.4.0/clasp/tests/solver_test.cpp:1246: lits ==> list
data/gringo-5.4.0/clasp/tests/solver_test.cpp:1246: lits ==> list
data/gringo-5.4.0/clasp/tests/solver_test.cpp:1256: lits ==> list
data/gringo-5.4.0/clasp/tests/solver_test.cpp:1257: lits ==> list
data/gringo-5.4.0/clasp/tests/solver_test.cpp:1517: lits ==> list
data/gringo-5.4.0/clasp/tests/solver_test.cpp:1518: lits ==> list
data/gringo-5.4.0/clasp/tests/solver_test.cpp:1519: lits ==> list
data/gringo-5.4.0/clasp/tests/solver_test.cpp:1520: lits ==> list
data/gringo-5.4.0/clasp/tests/solver_test.cpp:1521: lits ==> list
data/gringo-5.4.0/clasp/tests/solver_test.cpp:1523: lits ==> list
data/gringo-5.4.0/clasp/tests/solver_test.cpp:1831: lits ==> list
data/gringo-5.4.0/clasp/tests/solver_test.cpp:1836: lits ==> list
data/gringo-5.4.0/clasp/tests/solver_test.cpp:1854: lits ==> list
data/gringo-5.4.0/clasp/tests/solver_test.cpp:1854: lits ==> list
data/gringo-5.4.0/clasp/tests/solver_test.cpp:1855: lits ==> list
data/gringo-5.4.0/clasp/tests/solver_test.cpp:1855: lits ==> list
data/gringo-5.4.0/clasp/tests/solver_test.cpp:1856: lits ==> list
data/gringo-5.4.0/clasp/tests/solver_test.cpp:1857: lits ==> list
data/gringo-5.4.0/clasp/tests/solver_test.cpp:1858: lits ==> list
data/gringo-5.4.0/clasp/tests/solver_test.cpp:1858: lits ==> list
data/gringo-5.4.0/clasp/tests/solver_test.cpp:1858: lits ==> list
data/gringo-5.4.0/clasp/tests/solver_test.cpp:1859: lits ==> list
data/gringo-5.4.0/clasp/tests/solver_test.cpp:1860: lits ==> list
data/gringo-5.4.0/clasp/tests/solver_test.cpp:1861: lits ==> list
data/gringo-5.4.0/clasp/tests/solver_test.cpp:1862: lits ==> list
data/gringo-5.4.0/clasp/tests/solver_test.cpp:1876: lits ==> list
data/gringo-5.4.0/clasp/tests/solver_test.cpp:1877: lits ==> list
data/gringo-5.4.0/clasp/tests/solver_test.cpp:1887: lits ==> list
data/gringo-5.4.0/clasp/tests/solver_test.cpp:1887: lits ==> list
data/gringo-5.4.0/clasp/tests/solver_test.cpp:1888: lits ==> list
data/gringo-5.4.0/clasp/tests/solver_test.cpp:1888: lits ==> list
data/gringo-5.4.0/clasp/tests/solver_test.cpp:1889: lits ==> list
data/gringo-5.4.0/clasp/tests/solver_test.cpp:1890: lits ==> list
data/gringo-5.4.0/clasp/tests/solver_test.cpp:1891: lits ==> list
data/gringo-5.4.0/clasp/tests/solver_test.cpp:1891: lits ==> list
data/gringo-5.4.0/clasp/tests/solver_test.cpp:1891: lits ==> list
data/gringo-5.4.0/clasp/tests/solver_test.cpp:1891: lits ==> list
data/gringo-5.4.0/clasp/tests/solver_test.cpp:1892: lits ==> list
data/gringo-5.4.0/clasp/tests/solver_test.cpp:1898: lits ==> list
data/gringo-5.4.0/clasp/tests/solver_test.cpp:1899: lits ==> list
data/gringo-5.4.0/clasp/tests/solver_test.cpp:1900: lits ==> list
data/gringo-5.4.0/clasp/tests/solver_test.cpp:1900: lits ==> list
data/gringo-5.4.0/clasp/tests/solver_test.cpp:1902: lits ==> list
data/gringo-5.4.0/clasp/tests/solver_test.cpp:1903: lits ==> list
data/gringo-5.4.0/clasp/tests/solver_test.cpp:1903: lits ==> list
data/gringo-5.4.0/clasp/tests/solver_test.cpp:1903: lits ==> list
data/gringo-5.4.0/clasp/tests/solver_test.cpp:1903: lits ==> list
data/gringo-5.4.0/clasp/tests/solver_test.cpp:1904: lits ==> list
data/gringo-5.4.0/clasp/tests/weight_constraint_test.cpp:31: lits ==> list
data/gringo-5.4.0/clasp/tests/weight_constraint_test.cpp:32: lits ==> list
data/gringo-5.4.0/clasp/tests/weight_constraint_test.cpp:34: lits ==> list
data/gringo-5.4.0/clasp/tests/weight_constraint_test.cpp:35: lits ==> list
data/gringo-5.4.0/clasp/tests/weight_constraint_test.cpp:37: lits ==> list
data/gringo-5.4.0/clasp/tests/weight_constraint_test.cpp:38: lits ==> list
data/gringo-5.4.0/clasp/tests/weight_constraint_test.cpp:40: lits ==> list
data/gringo-5.4.0/clasp/tests/weight_constraint_test.cpp:72: lits ==> list
data/gringo-5.4.0/clasp/tests/weight_constraint_test.cpp:73: lits ==> list
data/gringo-5.4.0/clasp/tests/weight_constraint_test.cpp:74: lits ==> list
data/gringo-5.4.0/clasp/tests/weight_constraint_test.cpp:75: lits ==> list
data/gringo-5.4.0/clasp/tests/weight_constraint_test.cpp:76: lits ==> list
data/gringo-5.4.0/clasp/tests/weight_constraint_test.cpp:77: lits ==> list
data/gringo-5.4.0/clasp/tests/weight_constraint_test.cpp:79: lits ==> list
data/gringo-5.4.0/clasp/tests/weight_constraint_test.cpp:80: lits ==> list
data/gringo-5.4.0/clasp/tests/weight_constraint_test.cpp:85: lits ==> list
data/gringo-5.4.0/clasp/tests/weight_constraint_test.cpp:86: lits ==> list
data/gringo-5.4.0/clasp/tests/weight_constraint_test.cpp:91: lits ==> list
data/gringo-5.4.0/clasp/tests/weight_constraint_test.cpp:92: lits ==> list
data/gringo-5.4.0/clasp/tests/weight_constraint_test.cpp:93: lits ==> list
data/gringo-5.4.0/clasp/tests/weight_constraint_test.cpp:98: lits ==> list
data/gringo-5.4.0/clasp/tests/weight_constraint_test.cpp:99: lits ==> list
data/gringo-5.4.0/clasp/tests/weight_constraint_test.cpp:100: lits ==> list
data/gringo-5.4.0/clasp/tests/weight_constraint_test.cpp:106: lits ==> list
data/gringo-5.4.0/clasp/tests/weight_constraint_test.cpp:108: lits ==> list
data/gringo-5.4.0/clasp/tests/weight_constraint_test.cpp:109: lits ==> list
data/gringo-5.4.0/clasp/tests/weight_constraint_test.cpp:110: lits ==> list
data/gringo-5.4.0/clasp/tests/weight_constraint_test.cpp:111: lits ==> list
data/gringo-5.4.0/clasp/tests/weight_constraint_test.cpp:116: lits ==> list
data/gringo-5.4.0/clasp/tests/weight_constraint_test.cpp:146: lits ==> list
data/gringo-5.4.0/clasp/tests/weight_constraint_test.cpp:188: lits ==> list
data/gringo-5.4.0/clasp/tests/weight_constraint_test.cpp:189: lits ==> list
data/gringo-5.4.0/clasp/tests/weight_constraint_test.cpp:253: lits ==> list
data/gringo-5.4.0/clasp/tests/weight_constraint_test.cpp:254: lits ==> list
data/gringo-5.4.0/clasp/tests/weight_constraint_test.cpp:255: lits ==> list
data/gringo-5.4.0/clasp/tests/weight_constraint_test.cpp:256: lits ==> list
data/gringo-5.4.0/clasp/tests/weight_constraint_test.cpp:257: lits ==> list
data/gringo-5.4.0/clasp/tests/weight_constraint_test.cpp:271: lits ==> list
data/gringo-5.4.0/clasp/tests/weight_constraint_test.cpp:272: lits ==> list
data/gringo-5.4.0/clasp/tests/weight_constraint_test.cpp:273: lits ==> list
data/gringo-5.4.0/clasp/tests/weight_constraint_test.cpp:274: lits ==> list
data/gringo-5.4.0/clasp/tests/weight_constraint_test.cpp:275: lits ==> list
data/gringo-5.4.0/clasp/tests/weight_constraint_test.cpp:289: lits ==> list
data/gringo-5.4.0/clasp/tests/weight_constraint_test.cpp:301: lits ==> list
data/gringo-5.4.0/clasp/tests/weight_constraint_test.cpp:315: lits ==> list
data/gringo-5.4.0/clasp/tests/weight_constraint_test.cpp:316: lits ==> list
data/gringo-5.4.0/clasp/tests/weight_constraint_test.cpp:316: lits ==> list
data/gringo-5.4.0/clasp/tests/weight_constraint_test.cpp:318: lits ==> list
data/gringo-5.4.0/clasp/tests/weight_constraint_test.cpp:318: lits ==> list
data/gringo-5.4.0/clasp/tests/weight_constraint_test.cpp:320: lits ==> list
data/gringo-5.4.0/clasp/tests/weight_constraint_test.cpp:320: lits ==> list
data/gringo-5.4.0/clasp/tests/weight_constraint_test.cpp:713: lits ==> list
data/gringo-5.4.0/clasp/tests/weight_constraint_test.cpp:714: lits ==> list
data/gringo-5.4.0/clasp/tools/clasp-option-template.inl:21: syntatic ==> syntactic
data/gringo-5.4.0/clasp/tools/clasp-option-template.inl:55: oll ==> all, ole, old, olly, oil
data/gringo-5.4.0/clasp/tools/clasp-option-template.inl:55: oll ==> all, ole, old, olly, oil
data/gringo-5.4.0/clasp/tools/clasp-option-template.inl:81: doman ==> domain
data/gringo-5.4.0/clasp/tools/clasp-option-template.inl:100: Arithmethic ==> Arithmetic
data/gringo-5.4.0/clasp/tools/clasp-option-template.inl:191: oll ==> all, ole, old, olly, oil
data/gringo-5.4.0/cmake/FindRE2C.cmake:24: optionnal ==> optional
data/gringo-5.4.0/cmake/FindRE2C.cmake:25: optionnal ==> optional
data/gringo-5.4.0/cmake/FindRE2C.cmake:39: OUPUT ==> OUTPUT
data/gringo-5.4.0/doc/py/_gen/templates/html.mako:98: DESRIPTION ==> DESCRIPTION
data/gringo-5.4.0/doc/py/_gen/templates/html.mako:109: DESRIPTION ==> DESCRIPTION
data/gringo-5.4.0/doc/py/css/pdoc.css:202: explicity ==> explicitly
data/gringo-5.4.0/doc/py/js/highlight.min.js:2: tE ==> the, be, we
data/gringo-5.4.0/doc/py/js/highlight.min.js:2: tE ==> the, be, we
data/gringo-5.4.0/doc/py/js/highlight.min.js:2: tE ==> the, be, we
data/gringo-5.4.0/doc/py/js/highlight.min.js:2: tE ==> the, be, we
data/gringo-5.4.0/doc/py/js/highlight.min.js:2: tE ==> the, be, we
data/gringo-5.4.0/doc/py/js/highlight.min.js:2: isnt ==> isn't
data/gringo-5.4.0/doc/py/js/highlight.min.js:2: inout ==> input, in out
data/gringo-5.4.0/doc/py/js/highlight.min.js:3: attribut ==> attribute
data/gringo-5.4.0/doc/py/js/highlight.min.js:3: colum ==> column
data/gringo-5.4.0/doc/py/js/highlight.min.js:3: defaul ==> default
data/gringo-5.4.0/doc/py/js/highlight.min.js:3: defin ==> define
data/gringo-5.4.0/doc/py/js/highlight.min.js:3: describ ==> describe
data/gringo-5.4.0/doc/py/js/highlight.min.js:3: execut ==> execute
data/gringo-5.4.0/doc/py/js/highlight.min.js:3: iif ==> if
data/gringo-5.4.0/doc/py/js/highlight.min.js:3: lenght ==> length
data/gringo-5.4.0/examples/c/ast.c:187: initilize ==> initialize
data/gringo-5.4.0/examples/c/ast.c:217: coresponding ==> corresponding
data/gringo-5.4.0/examples/c/propagator.c:84: assignemnt ==> assignment
data/gringo-5.4.0/examples/c/propagator.c:115: assignemnt ==> assignment
data/gringo-5.4.0/examples/c/statistics.c:77: refering ==> referring
data/gringo-5.4.0/examples/clingo/blocksworld/lua.lp:9: debugg ==> debug
data/gringo-5.4.0/examples/clingo/blocksworld/lua.lp:30: debugg ==> debug
data/gringo-5.4.0/examples/clingo/blocksworld/lua.lp:33: debugg ==> debug
data/gringo-5.4.0/examples/clingo/blocksworld/lua.lp:41: debugg ==> debug
data/gringo-5.4.0/examples/clingo/blocksworld/lua.lp:43: debugg ==> debug
data/gringo-5.4.0/examples/clingo/blocksworld/lua.lp:45: debugg ==> debug
data/gringo-5.4.0/examples/clingo/blocksworld/lua.lp:48: debugg ==> debug
data/gringo-5.4.0/examples/clingo/blocksworld/lua.lp:51: debugg ==> debug
data/gringo-5.4.0/examples/clingo/blocksworld/lua.lp:66: debugg ==> debug
data/gringo-5.4.0/examples/clingo/blocksworld/lua.lp:69: debugg ==> debug
data/gringo-5.4.0/examples/clingo/blocksworld/lua.lp:71: debugg ==> debug
data/gringo-5.4.0/examples/clingo/blocksworld/lua.lp:105: debugg ==> debug
data/gringo-5.4.0/examples/clingo/blocksworld/lua.lp:113: debugg ==> debug
data/gringo-5.4.0/examples/clingo/cannot/cannot-lua.lp:27: lits ==> list
data/gringo-5.4.0/examples/clingo/cannot/cannot-lua.lp:52: lits ==> list
data/gringo-5.4.0/examples/clingo/cannot/cannot-lua.lp:60: lits ==> list
data/gringo-5.4.0/examples/clingo/cannot/cannot-py.lp:14: lits ==> list
data/gringo-5.4.0/examples/clingo/cannot/cannot-py.lp:37: lits ==> list
data/gringo-5.4.0/examples/clingo/cannot/cannot-py.lp:42: lits ==> list
data/gringo-5.4.0/examples/clingo/commit/commit-lua.lp:10: commited ==> committed
data/gringo-5.4.0/examples/clingo/commit/commit-lua.lp:12: commited ==> committed
data/gringo-5.4.0/examples/clingo/commit/commit-py.lp:9: commited ==> committed
data/gringo-5.4.0/examples/clingo/commit/commit-py.lp:11: commited ==> committed
data/gringo-5.4.0/examples/clingo/consequences/brave-lua.lp:29: ans ==> and
data/gringo-5.4.0/examples/clingo/consequences/brave-lua.lp:31: ans ==> and
data/gringo-5.4.0/examples/clingo/consequences/brave-lua.lp:32: ans ==> and
data/gringo-5.4.0/examples/clingo/consequences/brave-lua.lp:32: ans ==> and
data/gringo-5.4.0/examples/clingo/consequences/brave-lua.lp:34: ans ==> and
data/gringo-5.4.0/examples/clingo/consequences/brave-lua.lp:34: ans ==> and
data/gringo-5.4.0/examples/clingo/consequences/brave-lua.lp:36: ans ==> and
data/gringo-5.4.0/examples/clingo/expansion/main.py:84: sover ==> solver
data/gringo-5.4.0/examples/clingo/solitaire/visualize.py:74: ba ==> by, be
data/gringo-5.4.0/examples/clingo/solitaire/visualize.py:82: ba ==> by, be
data/gringo-5.4.0/examples/clingo/solitaire/visualize.py:86: ba ==> by, be
data/gringo-5.4.0/examples/clingo/solitaire/visualize.py:86: ba ==> by, be
data/gringo-5.4.0/examples/clingo/unblock/visualize.py:124: ba ==> by, be
data/gringo-5.4.0/examples/clingo/unblock/visualize.py:130: ba ==> by, be
data/gringo-5.4.0/examples/clingo/unblock/visualize.py:134: ba ==> by, be
data/gringo-5.4.0/examples/clingo/unblock/visualize.py:134: ba ==> by, be
data/gringo-5.4.0/libclingo/clingo.h:200: beginnig ==> beginning
data/gringo-5.4.0/libclingo/clingo.h:1006: wheather ==> weather, whether
data/gringo-5.4.0/libclingo/clingo.h:1300: choosen ==> chosen
data/gringo-5.4.0/libclingo/clingo.h:2995: elemnt ==> element
data/gringo-5.4.0/libclingo/clingo.hh:1778: lits ==> list
data/gringo-5.4.0/libclingo/clingo.hh:2030: decription ==> description
data/gringo-5.4.0/libclingo/clingo.hh:2815: lits ==> list
data/gringo-5.4.0/libclingo/clingo.hh:2821: lits ==> list
data/gringo-5.4.0/libclingo/clingo.hh:2825: lits ==> list
data/gringo-5.4.0/libclingo/clingo.hh:3006: lits ==> list
data/gringo-5.4.0/libclingo/clingo.hh:3007: lits ==> list
data/gringo-5.4.0/libclingo/clingo.hh:3007: lits ==> list
data/gringo-5.4.0/libclingo/clingo.hh:3199: decription ==> description
data/gringo-5.4.0/libclingo/clingo.hh:3946: lits ==> list
data/gringo-5.4.0/libclingo/clingo.hh:3952: lits ==> list
data/gringo-5.4.0/libclingo/clingo.hh:3955: lits ==> list
data/gringo-5.4.0/libclingo/clingo.hh:3956: lits ==> list
data/gringo-5.4.0/libclingo/clingo.hh:3959: lits ==> list
data/gringo-5.4.0/libclingo/clingo/ast.hh:180: Lits ==> List
data/gringo-5.4.0/libclingo/clingo/ast.hh:209: Lits ==> List
data/gringo-5.4.0/libclingo/clingo/clingocontrol.hh:61: lits ==> list
data/gringo-5.4.0/libclingo/clingo/clingocontrol.hh:67: lits ==> list
data/gringo-5.4.0/libclingo/clingo/clingocontrol.hh:167: lits ==> list
data/gringo-5.4.0/libclingo/clingo/clingocontrol.hh:428: lits ==> list
data/gringo-5.4.0/libclingo/clingo/clingocontrol.hh:430: lits ==> list
data/gringo-5.4.0/libclingo/clingo/control.hh:109: lits ==> list
data/gringo-5.4.0/libclingo/clingo/control.hh:183: lits ==> list
data/gringo-5.4.0/libclingo/src/ast.cc:621: lits ==> list
data/gringo-5.4.0/libclingo/src/ast.cc:624: lits ==> list
data/gringo-5.4.0/libclingo/src/ast.cc:625: lits ==> list
data/gringo-5.4.0/libclingo/src/clingocontrol.cc:54: lits ==> list
data/gringo-5.4.0/libclingo/src/clingocontrol.cc:55: lits ==> list
data/gringo-5.4.0/libclingo/src/clingocontrol.cc:94: lits ==> list
data/gringo-5.4.0/libclingo/src/clingocontrol.cc:95: lits ==> list
data/gringo-5.4.0/libclingo/src/clingocontrol.cc:162: lits ==> list
data/gringo-5.4.0/libclingo/src/clingocontrol.cc:167: lits ==> list
data/gringo-5.4.0/libclingo/src/control.cc:1038: lits ==> list
data/gringo-5.4.0/libclingo/src/control.cc:1039: lits ==> list
data/gringo-5.4.0/libclingo/src/control.cc:1399: lits ==> list
data/gringo-5.4.0/libclingo/src/control.cc:1400: lits ==> list
data/gringo-5.4.0/libclingo/src/control.cc:1400: lits ==> list
data/gringo-5.4.0/libclingo/src/control.cc:1417: lits ==> list
data/gringo-5.4.0/libclingo/src/control.cc:1418: lits ==> list
data/gringo-5.4.0/libclingo/src/control.cc:1418: lits ==> list
data/gringo-5.4.0/libclingo/tests/catch.hpp:110: SEH ==> SHE
data/gringo-5.4.0/libclingo/tests/catch.hpp:186: SEH ==> SHE
data/gringo-5.4.0/libclingo/tests/catch.hpp:222: SEH ==> SHE
data/gringo-5.4.0/libclingo/tests/catch.hpp:3116: infering ==> inferring
data/gringo-5.4.0/libclingo/tests/catch.hpp:8652: SEH ==> SHE
data/gringo-5.4.0/libclingo/tests/catch.hpp:8791: SEH ==> SHE
data/gringo-5.4.0/libclingo/tests/catch.hpp:9824: Coul ==> Could
data/gringo-5.4.0/libclingo/tests/catch.hpp:11628: alpha-numeric ==> alphanumeric
data/gringo-5.4.0/libclingo/tests/clingo.cc:173: decription ==> description
data/gringo-5.4.0/libgringo/gen/src/input/groundtermgrammar/grammar.cc:527: shoud ==> should
data/gringo-5.4.0/libgringo/gen/src/input/nongroundgrammar/grammar.cc:550: shoud ==> should
data/gringo-5.4.0/libgringo/gringo/backend.hh:59: lits ==> list
data/gringo-5.4.0/libgringo/gringo/backend.hh:66: lits ==> list
data/gringo-5.4.0/libgringo/gringo/backtrace.hh:88: unkown ==> unknown
data/gringo-5.4.0/libgringo/gringo/base.hh:100: arithmetics ==> arithmetic
data/gringo-5.4.0/libgringo/gringo/base.hh:256: arithmetics ==> arithmetic
data/gringo-5.4.0/libgringo/gringo/domain.hh:480: maching ==> machine, marching, matching
data/gringo-5.4.0/libgringo/gringo/hash_set.hh:36: shoud ==> should
data/gringo-5.4.0/libgringo/gringo/indexed.hh:51: defintion ==> definition
data/gringo-5.4.0/libgringo/gringo/lexerstate.hh:109: defintion ==> definition
data/gringo-5.4.0/libgringo/gringo/lexerstate.hh:192: defintion ==> definition
data/gringo-5.4.0/libgringo/gringo/locatable.hh:86: defintion ==> definition
data/gringo-5.4.0/libgringo/gringo/locatable.hh:124: defintion ==> definition
data/gringo-5.4.0/libgringo/gringo/locatable.hh:146: defintion ==> definition
data/gringo-5.4.0/libgringo/gringo/printable.hh:32: defintion ==> definition
data/gringo-5.4.0/libgringo/gringo/symbol.hh:192: ouput ==> output
data/gringo-5.4.0/libgringo/gringo/term.hh:70: defintions ==> definitions
data/gringo-5.4.0/libgringo/gringo/term.hh:237: arithmetics ==> arithmetic
data/gringo-5.4.0/libgringo/gringo/ground/statements.hh:78: lits ==> list
data/gringo-5.4.0/libgringo/gringo/ground/statements.hh:124: lits ==> list
data/gringo-5.4.0/libgringo/gringo/ground/statements.hh:147: lits ==> list
data/gringo-5.4.0/libgringo/gringo/ground/statements.hh:165: lits ==> list
data/gringo-5.4.0/libgringo/gringo/ground/statements.hh:332: lits ==> list
data/gringo-5.4.0/libgringo/gringo/ground/statements.hh:461: lits ==> list
data/gringo-5.4.0/libgringo/gringo/ground/statements.hh:578: conditon ==> condition
data/gringo-5.4.0/libgringo/gringo/ground/statements.hh:589: lits ==> list
data/gringo-5.4.0/libgringo/gringo/ground/statements.hh:608: lits ==> list
data/gringo-5.4.0/libgringo/gringo/ground/statements.hh:628: lits ==> list
data/gringo-5.4.0/libgringo/gringo/ground/statements.hh:660: lits ==> list
data/gringo-5.4.0/libgringo/gringo/ground/statements.hh:661: lits ==> list
data/gringo-5.4.0/libgringo/gringo/ground/statements.hh:693: condtional ==> conditional
data/gringo-5.4.0/libgringo/gringo/ground/statements.hh:752: lits ==> list
data/gringo-5.4.0/libgringo/gringo/ground/statements.hh:753: lits ==> list
data/gringo-5.4.0/libgringo/gringo/ground/statements.hh:872: lits ==> list
data/gringo-5.4.0/libgringo/gringo/ground/statements.hh:873: lits ==> list
data/gringo-5.4.0/libgringo/gringo/ground/statements.hh:995: lits ==> list
data/gringo-5.4.0/libgringo/gringo/ground/statements.hh:1072: lits ==> list
data/gringo-5.4.0/libgringo/gringo/ground/statements.hh:1127: lits ==> list
data/gringo-5.4.0/libgringo/gringo/ground/statements.hh:1260: lits ==> list
data/gringo-5.4.0/libgringo/gringo/ground/statements.hh:1289: lits ==> list
data/gringo-5.4.0/libgringo/gringo/input/aggregate.hh:76: childs ==> children, child's
data/gringo-5.4.0/libgringo/gringo/input/aggregate.hh:77: occurr ==> occur
data/gringo-5.4.0/libgringo/gringo/input/aggregate.hh:150: arithmetics ==> arithmetic
data/gringo-5.4.0/libgringo/gringo/input/aggregate.hh:163: occuring ==> occurring
data/gringo-5.4.0/libgringo/gringo/input/aggregate.hh:190: arithmetics ==> arithmetic
data/gringo-5.4.0/libgringo/gringo/input/aggregate.hh:194: occuring ==> occurring
data/gringo-5.4.0/libgringo/gringo/input/groundtermparser.hh:43: durning ==> during
data/gringo-5.4.0/libgringo/gringo/input/literal.hh:77: arithmetics ==> arithmetic
data/gringo-5.4.0/libgringo/gringo/input/programbuilder.hh:390: Lits ==> List
data/gringo-5.4.0/libgringo/gringo/input/programbuilder.hh:422: Lits ==> List
data/gringo-5.4.0/libgringo/gringo/input/theory.hh:67: lits ==> list
data/gringo-5.4.0/libgringo/gringo/output/literal.hh:170: lits ==> list
data/gringo-5.4.0/libgringo/gringo/output/literal.hh:171: lits ==> list
data/gringo-5.4.0/libgringo/gringo/output/literals.hh:252: lits ==> list
data/gringo-5.4.0/libgringo/gringo/output/literals.hh:318: implemention ==> implementation
data/gringo-5.4.0/libgringo/gringo/output/literals.hh:547: lits ==> list
data/gringo-5.4.0/libgringo/gringo/output/literals.hh:732: postion ==> position
data/gringo-5.4.0/libgringo/gringo/output/literals.hh:732: wheather ==> weather, whether
data/gringo-5.4.0/libgringo/gringo/output/literals.hh:732: wheather ==> weather, whether
data/gringo-5.4.0/libgringo/gringo/output/literals.hh:1154: lits ==> list
data/gringo-5.4.0/libgringo/gringo/output/literals.hh:1155: lits ==> list
data/gringo-5.4.0/libgringo/gringo/output/literals.hh:1156: lits ==> list
data/gringo-5.4.0/libgringo/gringo/output/literals.hh:1156: lits ==> list
data/gringo-5.4.0/libgringo/gringo/output/statement.hh:48: lits ==> list
data/gringo-5.4.0/libgringo/gringo/output/statement.hh:50: lits ==> list
data/gringo-5.4.0/libgringo/gringo/output/statements.hh:158: lits ==> list
data/gringo-5.4.0/libgringo/gringo/output/statements.hh:160: lits ==> list
data/gringo-5.4.0/libgringo/src/primes.cc:34: devision ==> division
data/gringo-5.4.0/libgringo/src/primes.cc:34: completly ==> completely
data/gringo-5.4.0/libgringo/src/symbol.cc:164: USig ==> using
data/gringo-5.4.0/libgringo/src/symbol.cc:173: USig ==> using
data/gringo-5.4.0/libgringo/src/symbol.cc:177: USig ==> using
data/gringo-5.4.0/libgringo/src/symbol.cc:255: USig ==> using
data/gringo-5.4.0/libgringo/src/symbol.cc:264: USig ==> using
data/gringo-5.4.0/libgringo/src/term.cc:232: comparisson ==> comparison
data/gringo-5.4.0/libgringo/src/ground/statements.cc:77: lits ==> list
data/gringo-5.4.0/libgringo/src/ground/statements.cc:82: lits ==> list
data/gringo-5.4.0/libgringo/src/ground/statements.cc:97: lits ==> list
data/gringo-5.4.0/libgringo/src/ground/statements.cc:257: lits ==> list
data/gringo-5.4.0/libgringo/src/ground/statements.cc:259: lits ==> list
data/gringo-5.4.0/libgringo/src/ground/statements.cc:265: postive ==> positive
data/gringo-5.4.0/libgringo/src/ground/statements.cc:354: lits ==> list
data/gringo-5.4.0/libgringo/src/ground/statements.cc:355: lits ==> list
data/gringo-5.4.0/libgringo/src/ground/statements.cc:396: lits ==> list
data/gringo-5.4.0/libgringo/src/ground/statements.cc:397: lits ==> list
data/gringo-5.4.0/libgringo/src/ground/statements.cc:471: lits ==> list
data/gringo-5.4.0/libgringo/src/ground/statements.cc:472: lits ==> list
data/gringo-5.4.0/libgringo/src/ground/statements.cc:531: lits ==> list
data/gringo-5.4.0/libgringo/src/ground/statements.cc:532: lits ==> list
data/gringo-5.4.0/libgringo/src/ground/statements.cc:574: lits ==> list
data/gringo-5.4.0/libgringo/src/ground/statements.cc:575: lits ==> list
data/gringo-5.4.0/libgringo/src/ground/statements.cc:622: lits ==> list
data/gringo-5.4.0/libgringo/src/ground/statements.cc:623: lits ==> list
data/gringo-5.4.0/libgringo/src/ground/statements.cc:737: lits ==> list
data/gringo-5.4.0/libgringo/src/ground/statements.cc:738: lits ==> list
data/gringo-5.4.0/libgringo/src/ground/statements.cc:903: lits ==> list
data/gringo-5.4.0/libgringo/src/ground/statements.cc:904: lits ==> list
data/gringo-5.4.0/libgringo/src/ground/statements.cc:1157: lits ==> list
data/gringo-5.4.0/libgringo/src/ground/statements.cc:1158: lits ==> list
data/gringo-5.4.0/libgringo/src/ground/statements.cc:1337: lits ==> list
data/gringo-5.4.0/libgringo/src/ground/statements.cc:1338: lits ==> list
data/gringo-5.4.0/libgringo/src/ground/statements.cc:1356: lits ==> list
data/gringo-5.4.0/libgringo/src/ground/statements.cc:1357: lits ==> list
data/gringo-5.4.0/libgringo/src/ground/statements.cc:1398: lits ==> list
data/gringo-5.4.0/libgringo/src/ground/statements.cc:1399: lits ==> list
data/gringo-5.4.0/libgringo/src/ground/statements.cc:1521: lits ==> list
data/gringo-5.4.0/libgringo/src/ground/statements.cc:1522: lits ==> list
data/gringo-5.4.0/libgringo/src/ground/statements.cc:1525: lits ==> list
data/gringo-5.4.0/libgringo/src/ground/statements.cc:1526: lits ==> list
data/gringo-5.4.0/libgringo/src/ground/statements.cc:1670: lits ==> list
data/gringo-5.4.0/libgringo/src/ground/statements.cc:1671: lits ==> list
data/gringo-5.4.0/libgringo/src/ground/statements.cc:1676: lits ==> list
data/gringo-5.4.0/libgringo/src/ground/statements.cc:1677: lits ==> list
data/gringo-5.4.0/libgringo/src/ground/statements.cc:1921: lits ==> list
data/gringo-5.4.0/libgringo/src/ground/statements.cc:1922: lits ==> list
data/gringo-5.4.0/libgringo/src/ground/statements.cc:1926: lits ==> list
data/gringo-5.4.0/libgringo/src/ground/statements.cc:1927: lits ==> list
data/gringo-5.4.0/libgringo/src/ground/statements.cc:2064: lits ==> list
data/gringo-5.4.0/libgringo/src/ground/statements.cc:2065: lits ==> list
data/gringo-5.4.0/libgringo/src/ground/statements.cc:2103: lits ==> list
data/gringo-5.4.0/libgringo/src/ground/statements.cc:2104: lits ==> list
data/gringo-5.4.0/libgringo/src/ground/statements.cc:2154: lits ==> list
data/gringo-5.4.0/libgringo/src/ground/statements.cc:2155: lits ==> list
data/gringo-5.4.0/libgringo/src/ground/statements.cc:2400: lits ==> list
data/gringo-5.4.0/libgringo/src/ground/statements.cc:2401: lits ==> list
data/gringo-5.4.0/libgringo/src/ground/statements.cc:2623: lits ==> list
data/gringo-5.4.0/libgringo/src/ground/statements.cc:2624: lits ==> list
data/gringo-5.4.0/libgringo/src/input/aggregate.cc:34: occurr ==> occur
data/gringo-5.4.0/libgringo/src/input/aggregate.cc:37: childs ==> children, child's
data/gringo-5.4.0/libgringo/src/input/aggregate.cc:38: childs ==> children, child's
data/gringo-5.4.0/libgringo/src/input/aggregate.cc:46: occurr ==> occur
data/gringo-5.4.0/libgringo/src/input/aggregate.cc:50: childs ==> children, child's
data/gringo-5.4.0/libgringo/src/input/aggregates.cc:237: singelton ==> singleton
data/gringo-5.4.0/libgringo/src/input/aggregates.cc:310: lits ==> list
data/gringo-5.4.0/libgringo/src/input/aggregates.cc:320: lits ==> list
data/gringo-5.4.0/libgringo/src/input/aggregates.cc:321: lits ==> list
data/gringo-5.4.0/libgringo/src/input/aggregates.cc:326: lits ==> list
data/gringo-5.4.0/libgringo/src/input/aggregates.cc:327: lits ==> list
data/gringo-5.4.0/libgringo/src/input/aggregates.cc:328: lits ==> list
data/gringo-5.4.0/libgringo/src/input/aggregates.cc:333: lits ==> list
data/gringo-5.4.0/libgringo/src/input/aggregates.cc:334: lits ==> list
data/gringo-5.4.0/libgringo/src/input/aggregates.cc:356: lits ==> list
data/gringo-5.4.0/libgringo/src/input/aggregates.cc:359: lits ==> list
data/gringo-5.4.0/libgringo/src/input/aggregates.cc:364: lits ==> list
data/gringo-5.4.0/libgringo/src/input/aggregates.cc:365: lits ==> list
data/gringo-5.4.0/libgringo/src/input/aggregates.cc:366: lits ==> list
data/gringo-5.4.0/libgringo/src/input/aggregates.cc:371: lits ==> list
data/gringo-5.4.0/libgringo/src/input/aggregates.cc:372: lits ==> list
data/gringo-5.4.0/libgringo/src/input/aggregates.cc:448: lits ==> list
data/gringo-5.4.0/libgringo/src/input/aggregates.cc:449: lits ==> list
data/gringo-5.4.0/libgringo/src/input/aggregates.cc:450: lits ==> list
data/gringo-5.4.0/libgringo/src/input/aggregates.cc:465: singelton ==> singleton
data/gringo-5.4.0/libgringo/src/input/aggregates.cc:634: singelton ==> singleton
data/gringo-5.4.0/libgringo/src/input/aggregates.cc:691: safty ==> safety
data/gringo-5.4.0/libgringo/src/input/aggregates.cc:756: lits ==> list
data/gringo-5.4.0/libgringo/src/input/aggregates.cc:757: lits ==> list
data/gringo-5.4.0/libgringo/src/input/aggregates.cc:761: lits ==> list
data/gringo-5.4.0/libgringo/src/input/aggregates.cc:762: lits ==> list
data/gringo-5.4.0/libgringo/src/input/aggregates.cc:832: lits ==> list
data/gringo-5.4.0/libgringo/src/input/aggregates.cc:833: lits ==> list
data/gringo-5.4.0/libgringo/src/input/aggregates.cc:1063: lits ==> list
data/gringo-5.4.0/libgringo/src/input/aggregates.cc:1071: lits ==> list
data/gringo-5.4.0/libgringo/src/input/aggregates.cc:1078: lits ==> list
data/gringo-5.4.0/libgringo/src/input/aggregates.cc:1079: lits ==> list
data/gringo-5.4.0/libgringo/src/input/aggregates.cc:1080: lits ==> list
data/gringo-5.4.0/libgringo/src/input/aggregates.cc:1083: lits ==> list
data/gringo-5.4.0/libgringo/src/input/aggregates.cc:1087: lits ==> list
data/gringo-5.4.0/libgringo/src/input/aggregates.cc:1087: lits ==> list
data/gringo-5.4.0/libgringo/src/input/aggregates.cc:1478: lits ==> list
data/gringo-5.4.0/libgringo/src/input/aggregates.cc:1488: lits ==> list
data/gringo-5.4.0/libgringo/src/input/aggregates.cc:1533: lits ==> list
data/gringo-5.4.0/libgringo/src/input/aggregates.cc:1533: lits ==> list
data/gringo-5.4.0/libgringo/src/input/aggregates.cc:1612: lits ==> list
data/gringo-5.4.0/libgringo/src/input/aggregates.cc:1618: lits ==> list
data/gringo-5.4.0/libgringo/src/input/aggregates.cc:1786: lits ==> list
data/gringo-5.4.0/libgringo/src/input/aggregates.cc:1787: lits ==> list
data/gringo-5.4.0/libgringo/src/input/aggregates.cc:1792: lits ==> list
data/gringo-5.4.0/libgringo/src/input/aggregates.cc:1793: lits ==> list
data/gringo-5.4.0/libgringo/src/input/aggregates.cc:1794: lits ==> list
data/gringo-5.4.0/libgringo/src/input/aggregates.cc:1799: lits ==> list
data/gringo-5.4.0/libgringo/src/input/aggregates.cc:1800: lits ==> list
data/gringo-5.4.0/libgringo/src/input/aggregates.cc:1918: lits ==> list
data/gringo-5.4.0/libgringo/src/input/aggregates.cc:1919: lits ==> list
data/gringo-5.4.0/libgringo/src/input/aggregates.cc:2013: lits ==> list
data/gringo-5.4.0/libgringo/src/input/aggregates.cc:2014: lits ==> list
data/gringo-5.4.0/libgringo/src/input/aggregates.cc:2095: lits ==> list
data/gringo-5.4.0/libgringo/src/input/aggregates.cc:2096: lits ==> list
data/gringo-5.4.0/libgringo/src/input/aggregates.cc:2193: lits ==> list
data/gringo-5.4.0/libgringo/src/input/aggregates.cc:2197: lits ==> list
data/gringo-5.4.0/libgringo/src/input/aggregates.cc:2304: lits ==> list
data/gringo-5.4.0/libgringo/src/input/aggregates.cc:2305: lits ==> list
data/gringo-5.4.0/libgringo/src/input/aggregates.cc:2383: lits ==> list
data/gringo-5.4.0/libgringo/src/input/aggregates.cc:2384: lits ==> list
data/gringo-5.4.0/libgringo/src/input/nongroundparser.cc:177: defintion ==> definition
data/gringo-5.4.0/libgringo/src/input/statement.cc:239: arithmetics ==> arithmetic
data/gringo-5.4.0/libgringo/src/input/statement.cc:279: lits ==> list
data/gringo-5.4.0/libgringo/src/input/statement.cc:281: lits ==> list
data/gringo-5.4.0/libgringo/src/input/statement.cc:290: lits ==> list
data/gringo-5.4.0/libgringo/src/input/theory.cc:151: lits ==> list
data/gringo-5.4.0/libgringo/src/input/theory.cc:152: lits ==> list
data/gringo-5.4.0/libgringo/src/input/theory.cc:153: lits ==> list
data/gringo-5.4.0/libgringo/src/input/theory.cc:376: lits ==> list
data/gringo-5.4.0/libgringo/src/input/theory.cc:377: lits ==> list
data/gringo-5.4.0/libgringo/src/input/theory.cc:380: lits ==> list
data/gringo-5.4.0/libgringo/src/input/theory.cc:396: lits ==> list
data/gringo-5.4.0/libgringo/src/input/theory.cc:397: lits ==> list
data/gringo-5.4.0/libgringo/src/input/theory.cc:402: lits ==> list
data/gringo-5.4.0/libgringo/src/input/theory.cc:403: lits ==> list
data/gringo-5.4.0/libgringo/src/input/theory.cc:409: lits ==> list
data/gringo-5.4.0/libgringo/src/input/theory.cc:412: lits ==> list
data/gringo-5.4.0/libgringo/src/input/theory.cc:432: lits ==> list
data/gringo-5.4.0/libgringo/src/input/theory.cc:435: lits ==> list
data/gringo-5.4.0/libgringo/src/output/literal.cc:15: lits ==> list
data/gringo-5.4.0/libgringo/src/output/literal.cc:16: lits ==> list
data/gringo-5.4.0/libgringo/src/output/literals.cc:347: lits ==> list
data/gringo-5.4.0/libgringo/src/output/literals.cc:357: lits ==> list
data/gringo-5.4.0/libgringo/src/output/literals.cc:371: lits ==> list
data/gringo-5.4.0/libgringo/src/output/literals.cc:384: fo ==> of, for
data/gringo-5.4.0/libgringo/src/output/literals.cc:385: fo ==> of, for
data/gringo-5.4.0/libgringo/src/output/literals.cc:385: fo ==> of, for
data/gringo-5.4.0/libgringo/src/output/literals.cc:387: fo ==> of, for
data/gringo-5.4.0/libgringo/src/output/literals.cc:404: lits ==> list
data/gringo-5.4.0/libgringo/src/output/literals.cc:407: lits ==> list
data/gringo-5.4.0/libgringo/src/output/literals.cc:418: lits ==> list
data/gringo-5.4.0/libgringo/src/output/literals.cc:426: lits ==> list
data/gringo-5.4.0/libgringo/src/output/literals.cc:431: lits ==> list
data/gringo-5.4.0/libgringo/src/output/literals.cc:564: lits ==> list
data/gringo-5.4.0/libgringo/src/output/literals.cc:571: lits ==> list
data/gringo-5.4.0/libgringo/src/output/literals.cc:575: lits ==> list
data/gringo-5.4.0/libgringo/src/output/literals.cc:579: lits ==> list
data/gringo-5.4.0/libgringo/src/output/literals.cc:586: lits ==> list
data/gringo-5.4.0/libgringo/src/output/literals.cc:591: lits ==> list
data/gringo-5.4.0/libgringo/src/output/literals.cc:595: lits ==> list
data/gringo-5.4.0/libgringo/src/output/literals.cc:596: lits ==> list
data/gringo-5.4.0/libgringo/src/output/literals.cc:599: lits ==> list
data/gringo-5.4.0/libgringo/src/output/literals.cc:600: lits ==> list
data/gringo-5.4.0/libgringo/src/output/literals.cc:640: lits ==> list
data/gringo-5.4.0/libgringo/src/output/literals.cc:642: lits ==> list
data/gringo-5.4.0/libgringo/src/output/literals.cc:794: lits ==> list
data/gringo-5.4.0/libgringo/src/output/literals.cc:796: lits ==> list
data/gringo-5.4.0/libgringo/src/output/literals.cc:800: lits ==> list
data/gringo-5.4.0/libgringo/src/output/literals.cc:804: lits ==> list
data/gringo-5.4.0/libgringo/src/output/literals.cc:807: lits ==> list
data/gringo-5.4.0/libgringo/src/output/literals.cc:808: lits ==> list
data/gringo-5.4.0/libgringo/src/output/literals.cc:821: lits ==> list
data/gringo-5.4.0/libgringo/src/output/literals.cc:822: lits ==> list
data/gringo-5.4.0/libgringo/src/output/literals.cc:825: lits ==> list
data/gringo-5.4.0/libgringo/src/output/literals.cc:826: lits ==> list
data/gringo-5.4.0/libgringo/src/output/literals.cc:850: lits ==> list
data/gringo-5.4.0/libgringo/src/output/literals.cc:858: lits ==> list
data/gringo-5.4.0/libgringo/src/output/literals.cc:861: lits ==> list
data/gringo-5.4.0/libgringo/src/output/output.cc:181: lits ==> list
data/gringo-5.4.0/libgringo/src/output/output.cc:181: lits ==> list
data/gringo-5.4.0/libgringo/src/output/output.cc:206: lits ==> list
data/gringo-5.4.0/libgringo/src/output/output.cc:206: lits ==> list
data/gringo-5.4.0/libgringo/src/output/output.cc:441: lits ==> list
data/gringo-5.4.0/libgringo/src/output/output.cc:442: lits ==> list
data/gringo-5.4.0/libgringo/src/output/output.cc:443: lits ==> list
data/gringo-5.4.0/libgringo/src/output/output.cc:466: lits ==> list
data/gringo-5.4.0/libgringo/src/output/output.cc:467: lits ==> list
data/gringo-5.4.0/libgringo/src/output/output.cc:468: lits ==> list
data/gringo-5.4.0/libgringo/src/output/statement.cc:44: lits ==> list
data/gringo-5.4.0/libgringo/src/output/statement.cc:45: lits ==> list
data/gringo-5.4.0/libgringo/src/output/statement.cc:52: lits ==> list
data/gringo-5.4.0/libgringo/src/output/statement.cc:53: lits ==> list
data/gringo-5.4.0/libgringo/src/output/statements.cc:560: varibles ==> variables
data/gringo-5.4.0/libgringo/src/output/statements.cc:972: lits ==> list
data/gringo-5.4.0/libgringo/src/output/statements.cc:973: lits ==> list
data/gringo-5.4.0/libgringo/src/output/statements.cc:975: lits ==> list
data/gringo-5.4.0/libgringo/tests/catch.hpp:110: SEH ==> SHE
data/gringo-5.4.0/libgringo/tests/catch.hpp:186: SEH ==> SHE
data/gringo-5.4.0/libgringo/tests/catch.hpp:222: SEH ==> SHE
data/gringo-5.4.0/libgringo/tests/catch.hpp:3116: infering ==> inferring
data/gringo-5.4.0/libgringo/tests/catch.hpp:8652: SEH ==> SHE
data/gringo-5.4.0/libgringo/tests/catch.hpp:8791: SEH ==> SHE
data/gringo-5.4.0/libgringo/tests/catch.hpp:9824: Coul ==> Could
data/gringo-5.4.0/libgringo/tests/catch.hpp:11628: alpha-numeric ==> alphanumeric
data/gringo-5.4.0/libgringo/tests/input/nongroundgrammar.cc:198: Lits ==> List
data/gringo-5.4.0/libgringo/tests/input/nongroundgrammar.cc:238: Lits ==> List
data/gringo-5.4.0/libgringo/tests/input/nongroundgrammar.cc:1183: nott ==> not
data/gringo-5.4.0/libgringo/tests/input/nongroundgrammar.cc:1183: nott ==> not
data/gringo-5.4.0/libgringo/tests/input/nongroundgrammar.cc:1183: nott ==> not
data/gringo-5.4.0/libgringo/tests/input/nongroundgrammar.cc:1183: nott ==> not
data/gringo-5.4.0/libgringo/tests/input/nongroundgrammar.cc:1184: nott ==> not
data/gringo-5.4.0/libgringo/tests/input/nongroundgrammar.cc:1184: nott ==> not
data/gringo-5.4.0/libgringo/tests/input/nongroundgrammar.cc:1184: nott ==> not
data/gringo-5.4.0/libgringo/tests/input/nongroundgrammar.cc:1184: nott ==> not
data/gringo-5.4.0/libgringo/tests/input/nongroundgrammar.cc:1191: nott ==> not
data/gringo-5.4.0/libgringo/tests/input/nongroundgrammar.cc:1274: nd ==> and, 2nd
data/gringo-5.4.0/libgringo/tests/input/nongroundgrammar.cc:1274: nd ==> and, 2nd
data/gringo-5.4.0/libgringo/tests/input/programbuilder.cc:46: Lits ==> List
data/gringo-5.4.0/libgringo/tests/input/programbuilder.cc:48: Lits ==> List
data/gringo-5.4.0/libgringo/tests/input/programbuilder.cc:50: Lits ==> List
data/gringo-5.4.0/libgringo/tests/input/programbuilder.cc:51: Lits ==> List
data/gringo-5.4.0/libgringo/tests/input/programbuilder.cc:53: Lits ==> List
data/gringo-5.4.0/libgringo/tests/input/programbuilder.cc:107: Lits ==> List
data/gringo-5.4.0/libgringo/tests/input/programbuilder.cc:108: lits ==> list
data/gringo-5.4.0/libgringo/tests/input/programbuilder.cc:109: lits ==> list
data/gringo-5.4.0/libgringo/tests/input/programbuilder.cc:109: lits ==> list
data/gringo-5.4.0/libgringo/tests/input/programbuilder.cc:110: lits ==> list
data/gringo-5.4.0/libgringo/tests/input/programbuilder.cc:258: Lits ==> List
data/gringo-5.4.0/libgringo/tests/input/programbuilder.cc:281: Lits ==> List
data/gringo-5.4.0/libgringo/tests/input/programbuilder.cc:281: lits ==> list
data/gringo-5.4.0/libgringo/tests/input/programbuilder.cc:283: lits ==> list
data/gringo-5.4.0/libluaclingo/luaclingo.cc:1393: lits ==> list
data/gringo-5.4.0/libluaclingo/luaclingo.cc:1400: lits ==> list
data/gringo-5.4.0/libluaclingo/luaclingo.cc:1410: lits ==> list
data/gringo-5.4.0/libluaclingo/luaclingo.cc:1419: lits ==> list
data/gringo-5.4.0/libluaclingo/luaclingo.cc:1428: lits ==> list
data/gringo-5.4.0/libluaclingo/luaclingo.cc:2355: lits ==> list
data/gringo-5.4.0/libluaclingo/luaclingo.cc:2456: lits ==> list
data/gringo-5.4.0/libluaclingo/luaclingo.cc:2475: lits ==> list
data/gringo-5.4.0/libluaclingo/luaclingo.cc:2762: progagators ==> propagators
data/gringo-5.4.0/libluaclingo/luaclingo.cc:3189: lits ==> list
data/gringo-5.4.0/libluaclingo/luaclingo.cc:3190: lits ==> list
data/gringo-5.4.0/libpyclingo/pyclingo.cc:499: execptions ==> exceptions
data/gringo-5.4.0/libpyclingo/pyclingo.cc:1678: implemente ==> implement, implemented
data/gringo-5.4.0/libpyclingo/pyclingo.cc:1990: interruped ==> interrupted
data/gringo-5.4.0/libpyclingo/pyclingo.cc:2296: lits ==> list
data/gringo-5.4.0/libpyclingo/pyclingo.cc:2301: lits ==> list
data/gringo-5.4.0/libpyclingo/pyclingo.cc:2314: lits ==> list
data/gringo-5.4.0/libpyclingo/pyclingo.cc:2317: lits ==> list
data/gringo-5.4.0/libpyclingo/pyclingo.cc:2318: lits ==> list
data/gringo-5.4.0/libpyclingo/pyclingo.cc:2322: lits ==> list
data/gringo-5.4.0/libpyclingo/pyclingo.cc:2346: lits ==> list
data/gringo-5.4.0/libpyclingo/pyclingo.cc:2347: lits ==> list
data/gringo-5.4.0/libpyclingo/pyclingo.cc:2347: lits ==> list
data/gringo-5.4.0/libpyclingo/pyclingo.cc:2958: timout ==> timeout
data/gringo-5.4.0/libpyclingo/pyclingo.cc:2984: discared ==> discarded
data/gringo-5.4.0/libpyclingo/pyclingo.cc:3618: lits ==> list
data/gringo-5.4.0/libpyclingo/pyclingo.cc:3620: lits ==> list
data/gringo-5.4.0/libpyclingo/pyclingo.cc:3625: lits ==> list
data/gringo-5.4.0/libpyclingo/pyclingo.cc:3627: lits ==> list
data/gringo-5.4.0/libpyclingo/pyclingo.cc:3627: lits ==> list
data/gringo-5.4.0/libpyclingo/pyclingo.cc:3928: inital ==> initial
data/gringo-5.4.0/libpyclingo/pyclingo.cc:4505: aggegate ==> aggregate
data/gringo-5.4.0/libpyclingo/pyclingo.cc:6952: Paremeters ==> Parameters
data/gringo-5.4.0/libpyclingo/pyclingo.cc:7138: Mappping ==> Mapping
data/gringo-5.4.0/libpyclingo/pyclingo.cc:7442: argumet ==> argument
data/gringo-5.4.0/libpyclingo/pyclingo.cc:7686: interruped ==> interrupted
data/gringo-5.4.0/libpyclingo/pyclingo.cc:7693: intrrupted ==> interrupted
data/gringo-5.4.0/libpyclingo/pyclingo.cc:8395: choosen ==> chosen
data/gringo-5.4.0/libpyclingo/pyclingo.cc:8654: Otional ==> Optional, notional
data/gringo-5.4.0/libpyclingo/pyclingo.cc:8941: abscence ==> absence
data/gringo-5.4.0/libpyclingo/pyclingo.cc:9805: cecking ==> checking
data/gringo-5.4.0/libreify/reify/program.hh:62: lits ==> list
data/gringo-5.4.0/libreify/reify/program.hh:66: lits ==> list
data/gringo-5.4.0/libreify/src/program.cc:104: lits ==> list
data/gringo-5.4.0/libreify/src/program.cc:105: lits ==> list
data/gringo-5.4.0/libreify/src/program.cc:106: lits ==> list
data/gringo-5.4.0/libreify/src/program.cc:107: lits ==> list
data/gringo-5.4.0/libreify/src/program.cc:157: lits ==> list
data/gringo-5.4.0/libreify/src/program.cc:158: lits ==> list
data/gringo-5.4.0/libreify/src/program.cc:180: lits ==> list
data/gringo-5.4.0/libreify/src/program.cc:181: lits ==> list
data/gringo-5.4.0/libreify/tests/catch.hpp:110: SEH ==> SHE
data/gringo-5.4.0/libreify/tests/catch.hpp:186: SEH ==> SHE
data/gringo-5.4.0/libreify/tests/catch.hpp:222: SEH ==> SHE
data/gringo-5.4.0/libreify/tests/catch.hpp:3116: infering ==> inferring
data/gringo-5.4.0/libreify/tests/catch.hpp:8652: SEH ==> SHE
data/gringo-5.4.0/libreify/tests/catch.hpp:8791: SEH ==> SHE
data/gringo-5.4.0/libreify/tests/catch.hpp:9824: Coul ==> Could
data/gringo-5.4.0/libreify/tests/catch.hpp:11628: alpha-numeric ==> alphanumeric
data/gringo-5.4.0/debian/missing-sources/doc/py/js/highlight.js:30: build-in ==> built-in
data/gringo-5.4.0/.pc/python3.8-compat.patch/libpyclingo/pyclingo.cc:499: execptions ==> exceptions
data/gringo-5.4.0/.pc/python3.8-compat.patch/libpyclingo/pyclingo.cc:1674: implemente ==> implement, implemented
data/gringo-5.4.0/.pc/python3.8-compat.patch/libpyclingo/pyclingo.cc:1986: interruped ==> interrupted
data/gringo-5.4.0/.pc/python3.8-compat.patch/libpyclingo/pyclingo.cc:2292: lits ==> list
data/gringo-5.4.0/.pc/python3.8-compat.patch/libpyclingo/pyclingo.cc:2297: lits ==> list
data/gringo-5.4.0/.pc/python3.8-compat.patch/libpyclingo/pyclingo.cc:2310: lits ==> list
data/gringo-5.4.0/.pc/python3.8-compat.patch/libpyclingo/pyclingo.cc:2313: lits ==> list
data/gringo-5.4.0/.pc/python3.8-compat.patch/libpyclingo/pyclingo.cc:2314: lits ==> list
data/gringo-5.4.0/.pc/python3.8-compat.patch/libpyclingo/pyclingo.cc:2318: lits ==> list
data/gringo-5.4.0/.pc/python3.8-compat.patch/libpyclingo/pyclingo.cc:2342: lits ==> list
data/gringo-5.4.0/.pc/python3.8-compat.patch/libpyclingo/pyclingo.cc:2343: lits ==> list
data/gringo-5.4.0/.pc/python3.8-compat.patch/libpyclingo/pyclingo.cc:2343: lits ==> list
data/gringo-5.4.0/.pc/python3.8-compat.patch/libpyclingo/pyclingo.cc:2954: timout ==> timeout
data/gringo-5.4.0/.pc/python3.8-compat.patch/libpyclingo/pyclingo.cc:2980: discared ==> discarded
data/gringo-5.4.0/.pc/python3.8-compat.patch/libpyclingo/pyclingo.cc:3614: lits ==> list
data/gringo-5.4.0/.pc/python3.8-compat.patch/libpyclingo/pyclingo.cc:3616: lits ==> list
data/gringo-5.4.0/.pc/python3.8-compat.patch/libpyclingo/pyclingo.cc:3621: lits ==> list
data/gringo-5.4.0/.pc/python3.8-compat.patch/libpyclingo/pyclingo.cc:3623: lits ==> list
data/gringo-5.4.0/.pc/python3.8-compat.patch/libpyclingo/pyclingo.cc:3623: lits ==> list
data/gringo-5.4.0/.pc/python3.8-compat.patch/libpyclingo/pyclingo.cc:3924: inital ==> initial
data/gringo-5.4.0/.pc/python3.8-compat.patch/libpyclingo/pyclingo.cc:4501: aggegate ==> aggregate
data/gringo-5.4.0/.pc/python3.8-compat.patch/libpyclingo/pyclingo.cc:6948: Paremeters ==> Parameters
data/gringo-5.4.0/.pc/python3.8-compat.patch/libpyclingo/pyclingo.cc:7134: Mappping ==> Mapping
data/gringo-5.4.0/.pc/python3.8-compat.patch/libpyclingo/pyclingo.cc:7438: argumet ==> argument
data/gringo-5.4.0/.pc/python3.8-compat.patch/libpyclingo/pyclingo.cc:7682: interruped ==> interrupted
data/gringo-5.4.0/.pc/python3.8-compat.patch/libpyclingo/pyclingo.cc:7689: intrrupted ==> interrupted
data/gringo-5.4.0/.pc/python3.8-compat.patch/libpyclingo/pyclingo.cc:8391: choosen ==> chosen
data/gringo-5.4.0/.pc/python3.8-compat.patch/libpyclingo/pyclingo.cc:8650: Otional ==> Optional, notional
data/gringo-5.4.0/.pc/python3.8-compat.patch/libpyclingo/pyclingo.cc:8937: abscence ==> absence
data/gringo-5.4.0/.pc/python3.8-compat.patch/libpyclingo/pyclingo.cc:9801: cecking ==> checking