public Variable[] getElseCasts() {
            if (mElseCasts == null) {
                return null;
            }
            else {
                Variable[] vars = new Variable[mElseCasts.size()];
                return mElseCasts.toArray(vars);
            }
        }