Playing with bisimulation in erlang