case Sequence(Tree[] ts): return ts;
    protected Tree[] patternArgs(Tree tree) {        switch (tree) {            case Apply(_, Tree[] args):                if (args.length == 1  && (tree.type.symbol().flags & Modifiers.CASE) == 0)                    switch (args[0]) {                        case Sequence(Tree[] ts):                            return ts;                    }                return args;            default:                return Tree.EMPTY_ARRAY;        }    }