let stringify_numtest op suffix = match op with
| Ast.Eq -> "NTEST_EQ_"^suffix
| Ast.Neq -> "NTEST_NEQ_"^suffix
| Ast.Less -> "NTEST_LESS_"^suffix
| Ast.Grtr -> "NTEST_GRTR_"^suffix
| Ast.Leq -> "NTEST_LEQ_"^suffix
| Ast.Geq -> "NTEST_GEQ_"^suffix