Allow more than 3 simplifier iterations to be run in phase 0
The number of iterations during the first run of phase 0 was erroneously hardcoded to 3. It should be *at least* 3 (see comments in code) but can be more.
Please register or sign in to comment