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