test liberalsafety7.hex fails

[peschue]

fails both with genuineii and genuinegc solvers

output of make check-examples

FAIL: ../src/dlvhex2 -s --plugindir=\!../testsuite --liberalsafety --solver=genuineii --heuristics=monolithic ../examples/liberalsafety7.hex (answersets differ)
 4 External atom &id[p](X) in rule 
 p(X) :- &id[p](X).
 is nonmonotonic and necessary for safety. This can decrease grounding performance significantly.
 Consider using a different heuristics or ensure safty by other means, e.g., additional ordinary atoms which bound the output.
...
FAIL: ../src/dlvhex2 -s --plugindir=\!../testsuite --liberalsafety --solver=genuinegc --heuristics=monolithic ../examples/liberalsafety7.hex (answersets differ)
 4 External atom &id[p](X) in rule 
 p(X) :- &id[p](X).
 is nonmonotonic and necessary for safety. This can decrease grounding performance significantly.
 Consider using a different heuristics or ensure safty by other means, e.g., additional ordinary atoms which bound the output.