core: Sanity check whether there is a single launcher
core: Bind FlipFlops to the Exit
utils: Depict Exit differently depending on its state