Fix bug not accounting for type in induction comparison.
Extended unit tests.

Rationale:
Now that inductions are typed, comparisons should take
the type into account as well.

Change-Id: Ie533bb728d2006390646657573fa743e6fc37ff2
2 files changed