class VarDependencies {

    public List<Var> getUsedVars(ClauseId clauseId) {
        return Collections.unmodifiableList(this.usedVariablesInClause.get(clauseId));
    }

    public  VarDependencies(final Statement statement);

}