Merge "Fix bug not accounting for type in induction comparison. Extended unit tests."
am: e28ad4b

* commit 'e28ad4b91591c226ed404a2b01104bb99bfeb28f':
  Fix bug not accounting for type in induction comparison. Extended unit tests.