gringo and clasp apply simplifications that may suppress supported models.
In fact, clasp’s option
--supp-models only suppresses the unfounded set check.
Rather we suggest a program transformation that replaces each positive body literal
not not a.
p :- p has the empty stable model,
p :- not not p has the additional stable model containing