Support k-bisimulation

[fandreuz]

k-bisimulation is a variant of bisimulation where topological features of nodes are only considered within a local neighborhood of a certain radius. Usually bisimulation is:

• too hard to compute;
• gives an unusable partitioning