Remove redundant cases in iIntro tactic.

1 job for master in 4 minutes and 29 seconds