Show a reachability scenario when a state is reachable

Be able to click on a reachability icon, and display a sequence diagram showing that reachability ..