Function names and monomorphization #129
Description
Need to dig into how function names are generated w.r.t. monomorphization (e.g. <Struct<ConcreteType> as Trait>::func or func::<ConcreteType>)
- core.sqlite3 has no monomorphized function names
- kani-list.json has monomorphized function names
This probably leads to #117 and influences statistics (especially based on path) greatly.