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

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