get_ng4 :: [Rule] -> Atom -> CClause
get_ng4 p a = ([ALit a], bodies2vars (bodies p a))
get_ng4 :: [Rule] -> Atom -> CClause
get_ng4 p a = ([ALit a], bodies2vars (bodies p a))
get_ng4 p a = ([ALit a], bodies2vars (bodies p a))