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.