exprToStringState :: Expr -> (String, Types.State)
exprToStringState (Not (Not (e))) = exprToStringState e
exprToStringState :: Expr -> (String, Types.State)
exprToStringState (Not (Not (e))) = exprToStringState e
exprToStringState (Not (Not (e))) = exprToStringState e