- generate_nmr_check(+Module) is det
- Get the rules in the program containing odd loops and compute the
NMR check. After this step, headless rules are useless, so remove
them and add a fact for the negation of the dummy head (_false_0).
Call generate_nmr_check/0 instead of this.