Remove useless outputs from output tag
This was maybe useful while developing, but useless now.
Formula !P_INIT_POLICY = (true U (((ValidateTOR_a | ValidateDSD1_a) | ValidateGF1_a) & !Initiated))
GBA 2 states 5 transitions
Buchi automata:
P_INIT_POLICY = S0,
S1@ =(true -> S1),
S0 =(true -> S0 |ValidateDSD1_a&!Initiated -> S1 |ValidateGF1_a&!Initiated -> S1 |ValidateTOR_a&!Initiated -> S1).
Composition:
P_INIT_POLICY = ValidateTOR_a || ValidateDSD1_a || ValidateGF1_a || Initiated || SYNC || P_INIT_POLICY
Remove these comments