Generic bisimulation machines implemented, and specialized case for estimation algorithm
Specialized bisimulation worker for estimation algorithm