Only load the class containing the method under test, with any outer classes required, any of their inner classes, and the JDK models.
If the class hierarchy is particularly complex and Diffblue Cover is unable to cover a method, you can take a radical approach by using
the 'load-containing-class-only' option. This limits the analysis to the class containing
the line to cover, as well as inner classes, parent classes, and the Java Library (models).
Everything outside this scope will be mocked unless specified by the
phases: - cbmcArguments: load-containing-class-only: true