let pp_numtest = function | Eq -> "Eq" | Neq -> "Neq" | Less -> "Less" | Grtr -> "Grtr" | Leq -> "Leq" | Geq -> "Geq"