A bug causing a rapid growth of boolean constraints is fixed