% The following PBES is not monotonic.

pbes mu X = !X;

init X;
