{- ----------------------------------------------------------------------
Prover specific
---------------------------------------------------------------------- -}

-- | returns the name of the reduce prover
reduceS :: String
reduceS = "Reduce"
reduceS :: String
reduceS = "Reduce"
reduceS = "Reduce"