diff --git a/src/jpf/starlib/jpf/PathFinderUtils.java b/src/jpf/starlib/jpf/PathFinderUtils.java
index 18f7b8b..54256c3 100644
--- a/src/jpf/starlib/jpf/PathFinderUtils.java
+++ b/src/jpf/starlib/jpf/PathFinderUtils.java
@@ -57,7 +57,7 @@ public static void printErrorDetails(Search search) {
 		}
 	}
 	
-	public static void generate(ClassInfo ci, MethodInfo mi) {
+	public static HashMap<String, String> initTypeVarMap(ClassInfo ci, MethodInfo mi) {
 		String clsName = ci.getSimpleName();
 		LocalVarInfo[] args = mi.getArgumentLocalVars();
 		FieldInfo[] insFields = ci.getInstanceFields();
@@ -86,6 +86,7 @@ public static void generate(ClassInfo ci, MethodInfo mi) {
 				
 			knownTypeVars.put(name, type);
 		}
+		return knownTypeVars;
 	}
 	
 	public static String standardizeType(String type) {