Method getUses

src/main/java/pascal/taie/ir/stmt/If.java:70–75

()

    }

    @Override
    public Set<RValue> getUses() {
        Set<RValue> uses = new ArraySet<>(condition.getUses());
        uses.add(condition);
        return uses;
    }

    @Override
    public List<Stmt> getTargets() {