For the following example, no warning is shown that the event is not enabled in the output specification: ``` plant p: disc int[0..1] x = 1; controllable a; location l0: initial; marked; edge a do x := x + 1; end ``` Even though the generated supervisor guard is `false`.