dependent
Allows to access the currently defined dependent variable (those variables whose value can be determined given a valid set of values for the free variables).
Return
a Map between variable names and their actual representation