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