private static Builder makeBuilder(String grammarPath) {
Grammar g = new Grammar();
g.read(grammarPath);
Builder b = new Builder();
b.grammar = g;
b.executor = new FormulaMatchExecutor();
b.buildUnspecified();
return b;
}
