Fix `iInduction` regression caused by !931.
This closes #534 (closed).
There is still another bug that was there before !931 (merged), see #537
Edited by Ralf Jung
This closes #534 (closed).
There is still another bug that was there before !931 (merged), see #537