- BugFix: when a P<->I conversion for an induction variable took place, run a post...