Method newVar

src/main/java/pascal/taie/frontend/soot/VarManager.java:138–140

(String name, Type type)

    }

    private Var newVar(String name, Type type) {
        return newVar(name, type, null);
    }

    private Var newVar(String name, Type type, @Nullable Literal literal) {
        Var var = new Var(method, name, type, varCounter++, literal);