return Switch(test.pos, test, tags, bodies, otherwise, type);
for (int i = 0; i < bodies.length; i++) { assert assertTreeSubTypeOf(bodies[i], type); assert (i==0) || ( tags[i-1] < tags[i] ) : "expecting sorted tags"; } assert assertTreeSubTypeOf(otherwise, type); Switch tree = make.Switch(pos, test, tags, bodies, otherwise); tree.setType(type); return tree;
    public Switch Switch(Tree test, int[] tags, Tree[] bodies, Tree otherwise,        Type type)    {        return Switch(test.pos, test, tags, bodies, otherwise, type);    }