':return: The object that is obtained by replacing
each variable bound by ``bindings`` with its values.
Aliases are already resolved. (maybe?)
:rtype: (any)'

def substitute_bindings(self, bindings):

    raise NotImplementedError()
