app load ["Expr", "Reduce", "Evaluate","Test"];open Expr; val e = Plus (Neg (Neg (Cst 0)), Plus (Cst 56, Cst 9));