fix NPE with Profile#prepareInitConfig.

Author: wadoon

key.core/src/main/java/de/uka/ilkd/key/proof/init/ProblemInitializer.java

@@ -443,9 +443,10 @@ private InitConfig createInputConfigFor(EnvInput envInput) throws ProofInputExce
 
         // remove traces of the generic sorts within the base configuration
         cleanupNamespaces(config);
-        profile.prepareInitConfig(BASE_INPUT_CONFIG);
         BASE_INPUT_CONFIG = config;
-        return BASE_INPUT_CONFIG.copy();
+        config = BASE_INPUT_CONFIG.copy();
+        profile.prepareInitConfig(config);
+        return config;
     }
 
     /**