* @param gbr a GrammarBindingResolver that resolves grammatical reductions into tree-node-heads
*/
public static Union create(Tree t, String s, Grammar.Bindings gbr) {
* @param gbr a GrammarBindingResolver that resolves grammatical reductions into tree-node-heads
*/
public static Union create(Tree t, String s, Grammar.Bindings gbr) {