Performs a bisimulation check on two given processes