How to debug an error in "type inference"

Hey,

sorry for dropping out. Fel sick for a week and then didn’t get back to this.

Started looking at it now using gdb, although it is a bit challenging.

Practically I have solved the actual issue by adding some type specification on variables across my code (i.e. in the Catalyst/SI extension’s assess_identifiability function, when I can assess_identifiability, I specify that the input os a ODESystem). Not sure why it works (as it should be clear anyway), so will try to continue analysis this as well (time permitting).