Replace the references to the JRE Collection API by references
to the CollectionListerals API (issue #108).
Detect inconsistency in type hierarchies (issue #110).
Add null-value tests into the code invoqued by the inferrer (issue #101).