public CFGrammer Intersect(CFGrammer cfg) => throw new NotSupportedException();
public CFGrammer Diff(CFGrammer cfg) => throw new NotSupportedException();