Added a function to get the transitive closure of a list of Bindings.