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