java.lang.IllegalStateException: Failed to apply sootup.java.core.interceptors.TypeAssigner@550fe9d7 to <org.mockito.internal.MockedStaticImpl: void verify(org.mockito.MockedStatic$Verification,org.mockito.verification.VerificationMode)>

	at sootup.java.bytecode.frontend.AsmMethodSource.resolveBody(AsmMethodSource.java:240)
	at sootup.core.model.SootMethod.lazyBodyInitializer(SootMethod.java:98)
	at com.google.common.base.Suppliers$NonSerializableMemoizingSupplier.get(Suppliers.java:181)
	at sootup.core.model.SootMethod.getBody(SootMethod.java:177)
	at sootup.java.bytecode.interceptors.typeresolving.TypeResolverTest.applyTrToJar(TypeResolverTest.java:351)
	at java.util.ArrayList.forEach(ArrayList.java:1257)
	at sootup.java.bytecode.interceptors.typeresolving.TypeResolverTest.testTrWithoutLs(TypeResolverTest.java:292)
	at java.lang.reflect.Method.invoke(Method.java:498)
	at java.util.ArrayList.forEach(ArrayList.java:1257)
	at java.util.ArrayList.forEach(ArrayList.java:1257)
Caused by: java.lang.IllegalStateException: The path from 'java.lang.RuntimeException' to java.lang.Throwable cannot be found!
	at sootup.java.core.interceptors.typeresolving.AugEvalFunction.getExceptionPath(AugEvalFunction.java:252)
	at sootup.java.core.interceptors.typeresolving.AugEvalFunction.getLeastCommonExceptionType(AugEvalFunction.java:274)
	at sootup.java.core.interceptors.typeresolving.AugEvalFunction.evaluate(AugEvalFunction.java:195)
	at sootup.java.core.interceptors.typeresolving.TypeResolver.applyAssignmentConstraint(TypeResolver.java:215)
	at sootup.java.core.interceptors.typeresolving.TypeResolver.resolve(TypeResolver.java:74)
	at sootup.java.core.interceptors.TypeAssigner.interceptBody(TypeAssigner.java:42)
	at sootup.java.bytecode.frontend.AsmMethodSource.resolveBody(AsmMethodSource.java:234)
	... 9 more