cassolve :: Session a => a -> Named CMD -> IO (ProofStatus [EXPRESSION],
             [(Named CMD, ProofStatus [EXPRESSION])])
cassolve sess cmd =
  do
    proofstatus <- procString sess (senAttr cmd) $ exportReduce cmd ++ ";"
    return (proofstatus, [])


-- | simplifies a given expression over the reals
cassolve :: Session a => a -> Named CMD -> IO (ProofStatus [EXPRESSION],
             [(Named CMD, ProofStatus [EXPRESSION])])
cassolve sess cmd =
  do
    proofstatus <- procString sess (senAttr cmd) $ exportReduce cmd ++ ";"
    return (proofstatus, [])


-- | simplifies a given expression over the reals
cassolve sess cmd =
  do
    proofstatus <- procString sess (senAttr cmd) $ exportReduce cmd ++ ";"
    return (proofstatus, [])


-- | simplifies a given expression over the reals