Fix labeled sets of terminals
Fix AST operator on labeled set of terminals e.g. x=(A|B)^