A bug in storing boolean variables is resolved.
This bug results in different state space in case of using parameters!