crunchSolver  :: Solver -> [HAtom] -> (Solver, SolveResult)
crunchSolver  (SS state) as = (SS state', result) 
  where 
    (result, state')        = upd as state 

------------------------------------------------------------------------------
-- | Registering New Equalities ----------------------------------------------
------------------------------------------------------------------------------
crunchSolver  :: Solver -> [HAtom] -> (Solver, SolveResult)
crunchSolver  (SS state) as = (SS state', result) 
  where 
    (result, state')        = upd as state 

------------------------------------------------------------------------------
-- | Registering New Equalities ----------------------------------------------
------------------------------------------------------------------------------
crunchSolver  (SS state) as = (SS state', result) 
  where 
    (result, state')        = upd as state 

------------------------------------------------------------------------------
-- | Registering New Equalities ----------------------------------------------
------------------------------------------------------------------------------