Implement efficient function for distance of nodes

[AFellner]

The function should return the minimum number of children/premise steps between two nodes.
A naive implementation, exploring all possible paths, would be highly inefficient.
Such a function would be usefull in the Greedy TopDown pebbling.