Support ServiceLoader #197
Description
ServiceLoader is a feature that dynamically loads and instantiates classes reflectively based on a declarative specification in either Jar files' manifest or module-info files. As such, it should be supported in order to ensure soundness of our analyses, in particular call graph analyses.