Add basic GUI for strong bisimulation