-> PE.PreExpr -> PE.PreExpr -> Hypothesis
mkIndHyp fun rel fexpr expr = createHypothesis name hypExpr (GenConditions [])
         where hypExpr = Expr $ PE.BinOp (relToOp rel) fexpr expr
               name = T.concat [T.pack "spec ",tRepr fun]

checkDerivation :: [Operator] -
mkIndHyp :: Variable -> Relation -> PE.PreExpr -> PE.PreExpr -> Hypothesis
mkIndHyp fun rel fexpr expr = createHypothesis name hypExpr (GenConditions [])
         where hypExpr = Expr $ PE.BinOp (relToOp rel) fexpr expr
               name = T.concat [T.pack "spec ",tRepr fun]
mkIndHyp fun rel fexpr expr = createHypothesis name hypExpr (GenConditions [])
         where hypExpr = Expr $ PE.BinOp (relToOp rel) fexpr expr
               name = T.concat [T.pack "spec ",tRepr fun]