getProgramMethod with context

Author: wadoon

key.core/src/main/java/de/uka/ilkd/key/java/KeYProgModelInfo.java

@@ -380,7 +380,8 @@ public IProgramMethod getProgramMethod(@NonNull KeYJavaType ct, String name,
 
         var rct = type.asReferenceType().getTypeDeclaration().orElseThrow();
         List<ResolvedType> jpSignature =
-                StreamSupport.stream(signature.spliterator(), false).map(this::getJavaParserType).toList();
+            StreamSupport.stream(signature.spliterator(), false).map(this::getJavaParserType)
+                    .toList();
         var method = MethodResolutionLogic.solveMethodInType(rct, name, jpSignature);
 
         if (!method.isSolved()) {