Remove input builders.
Tab to space.
Start to revise reading of gringo input.
Remove GUS.
Remove InputFacade.
Remove iterations list-style.
Restore satelite.
Split tests in tight and nontight.
Fix a few bug with the input.
Fix numeric format reading.
Activate simplifications on restarts.
Start rewriting of completion.
FIXME: for some reason the same model is produced several times.
Fix bug with multiple models.
More simplifications on normal rules.
Revise nontight.
Improve performance of sat checker.
Remove redundant variable conflictAtLevelZero.
Remove self loops (rules such as a :- a are removed).
Fix possible bug with DG.
Atoms having only one defining rule are also the auxiliary variable associated with their rules.
Bodies of size 1 are not associated with auxiliary variables.
Introduce NormalRule and AtomData.
Completion by clauses (to be replaced by crules).
Fix bug with read of normal rules with true positive literals.
Add a few asserts.