diff --git a/su4sml/src/wfcpog/refine_constraint.sml b/su4sml/src/wfcpog/refine_constraint.sml
index 48f6060..f4b70d0 100644
--- a/su4sml/src/wfcpog/refine_constraint.sml
+++ b/su4sml/src/wfcpog/refine_constraint.sml
@@ -95,7 +95,7 @@ fun print_refine_args (args:RFM_args) =
     let 
 	val tuple = (#rfm_tuple args)
     in
-	(String.concat ["Refine rmf_tuples with args: abstract package = ",(string_of_path (#1 tuple)),", concrete package = ",(string_of_path (#2 tuple)),".\n"])
+	(String.concat ["Refine rmf_tuple with args: abstract package = ",(string_of_path (#1 tuple)),", concrete package = ",(string_of_path (#2 tuple)),".\n"])
     end
 fun rm x [] = [] 
   | rm x [b] = if (x = b) then [] else [b] 
@@ -324,6 +324,9 @@ fun check_syntax wfpo (model:Rep.Model as (clist,alist)) =
 	val from = (#1 packages)
 	val to = (#2 packages)
 	val model_packages = all_packages_of_model model
+	val _ = trace wgen ("Packages of model: "^(List.map (fn a => ((string_of_path (name_of a))^", ")) model_package)^".\n")
+	val _ = trace wgen ("Abstract Package = "^from^", contains "^(List.length(from))^" strings.\n")
+	val _ = trace wgen ("Concrete Package = "^to^", contains "^(List.length(from))^" strings.\n")
 	val check = if ((member from model_packages) andalso (member to model_packages))
 		    then check_syntax_help model from to
 			 handle WFCPOG.WFC_FailedMessage s => raise WFCPOG.WFC_FailedException (wfpo,s)