Refactoring of CheckOther::checkModuloAlwaysTrueFalse using AST