procString :: Session a => a -> String -> String -> IO (ProofStatus [EXPRESSION])
procString h axname s = do
  res <- evalString h s
  let f = if null res then openReduceProofStatus else closedReduceProofStatus
  return $ f axname res

-- | factors a given expression over the reals
procString :: Session a => a -> String -> String -> IO (ProofStatus [EXPRESSION])
procString h axname s = do
  res <- evalString h s
  let f = if null res then openReduceProofStatus else closedReduceProofStatus
  return $ f axname res

-- | factors a given expression over the reals
procString h axname s = do
  res <- evalString h s
  let f = if null res then openReduceProofStatus else closedReduceProofStatus
  return $ f axname res

-- | factors a given expression over the reals