math-verify[antlr4_9_3]