loop_nogood :: Atom -> [[Literal]] -> CClause
-- returns the loop nogood for an atom in an unfounded set(characterized by the external bodies)
loop_nogood a bodies = ([ALit a], bodies2vars bodies)
loop_nogood :: Atom -> [[Literal]] -> CClause
loop_nogood a bodies = ([ALit a], bodies2vars bodies)
loop_nogood a bodies = ([ALit a], bodies2vars bodies)