small bug in the CTL prover.

We just discovered a small bug in the CTL prover in the demo section of the website.
The bug was a trivial problem with the nnf procedure and it's now fixed.