We should have unified code paths for handling library models, whether they are given explicitly or coming from astubx files. Fixing this will require removing inconsistencies in the current handling:

• Fix JarInfer parameter indexes for instance methods #1071
• Fix JarInfer handling of generic types #1078