Add implementation of divergence-preserving branching bisimulation.