Add more mu calculus formulas
Add open/closeBridge actions.

It messes things up because from each state the open/close actions can
be done, which however doesn't really do anything.