Add Upper bound for type variable in Factory used in Library Model Loader

**Task**

`TODO`: Add Upper bound for type variable in `Factory<T>` used in Library Model Loader to have a better type safety. See [comment](https://github.com/ucr-riple/NullAwayAnnotator/pull/220#discussion_r1434530423) in #220  

