Databased synthesis doesn't recognize events not enabled in the output specification.

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.