Index: src/GenPoly/Specialize.cc
===================================================================
--- src/GenPoly/Specialize.cc	(revision 4573e3c3cd56364e99408f1914866d1580cd88a2)
+++ src/GenPoly/Specialize.cc	(revision b226721fbecb294b66efe16f98de17dc3e00bbbe)
@@ -66,13 +66,18 @@
 				if ( ! boundType ) continue;
 				if ( TypeInstType *typeInst = dynamic_cast< TypeInstType* >( boundType ) ) {
+					// bound to another type variable
 					if ( closedVars.find( typeInst->get_name() ) == closedVars.end() ) {
+						// bound to a closed variable => must specialize
 						return true;
 					} // if
 				} else {
+					// variable is bound to a concrete type => must specialize
 					return true;
 				} // if
 			} // for
+			// none of the type variables are bound
 			return false;
 		} else {
+			// no env
 			return false;
 		} // if