testing m = 6 for antlr without any constraints