Stars outside the negation of the µ calculus
Fix checks where from every state commDeck or commStopSign can occur