complete monitors can be Büchi
The acceptance conditions of monitors is not displayed because it is usually true
. However when the complete option is selected, the output is an automaton with Büchi acceptance. Not showing the acceptance condition is confusing because in the first case all states (with single circles) are accepting, while in the second case we use double circles.