-------------------------------------------------------------------------------
-- | crunch atoms == Nothing means atoms is SAT, Just c means CONTRA
-------------------------------------------------------------------------------

crunch :: [HAtoms] -> NO (Maybe Cause) 
crunch [] 
  = return Nothing
crunch :: [HAtoms] -> NO (Maybe Cause)
crunch [] 
  = return Nothing
crunch [] 
  = return Nothing