3.6.6.22 Pa-iterations Option

The -mpa-iterations=n option allows the number of procedural abstraction iterations to be changed from the default of 2. More iterations might reduce code size, but could impact the code build times.