At class InferenceContext we keep a map of free type listeners. The order in which these listeners are executed is important and can be the difference between a program be accepted or not. Sometimes these issues are hard/impossible to reproduce because a given order is not reproducible between executions. Probably this listeners design needs a whole refactoring but in the meantime using a data structure like LinkedHashMap could be beneficial to increase predictability.