Method isParam

src/main/java/pascal/taie/ir/DefaultIR.java:95–98

(Var var)

    }

    @Override
    public boolean isParam(Var var) {
        return params.contains(var);
    }

    @Override
    public boolean isThisOrParam(Var var) {