class VarDependencies {

    public AvailableVariables getReachableVars(ClauseId clauseId) {
        return this.reachableVariables.get(clauseId);
    }

    public  VarDependencies(final Statement statement);

}