solvers = [SS cc0] --  DiffBound.solver  
  where 
    cc0 = init :: CCState

------------------------------------------------------------------------------
-- | Transitively grind causes down into [HAtom] -----------------------------
------------------------------------------------------------------------------
solvers = [SS cc0] --  DiffBound.solver  
  where 
    cc0 = init :: CCState

------------------------------------------------------------------------------
-- | Transitively grind causes down into [HAtom] -----------------------------
------------------------------------------------------------------------------
solvers = [SS cc0] --  DiffBound.solver  
  where 
    cc0 = init :: CCState

------------------------------------------------------------------------------
-- | Transitively grind causes down into [HAtom] -----------------------------
------------------------------------------------------------------------------