public Tree mkAsInstanceOf(Tree value, Type type) { return mkAsInstanceOf(value.pos, value, type);
public Tree mkAsInstanceOf(int pos, Tree value, Type type, boolean erased) { Symbol sym = erased ? definitions.ANY_AS_ERASED : definitions.ANY_AS; return mkApplyT_(pos, Select(value, sym), new Type[]{type});
    public Tree mkAsInstanceOf(Tree value, Type type) {        return mkAsInstanceOf(value.pos, value, type);    }