diff --git a/src/org/rascalmpl/core/library/lang/rascalcore/check/CollectType.rsc b/src/org/rascalmpl/core/library/lang/rascalcore/check/CollectType.rsc
index b2149f34..ab7505be 100644
--- a/src/org/rascalmpl/core/library/lang/rascalcore/check/CollectType.rsc
+++ b/src/org/rascalmpl/core/library/lang/rascalcore/check/CollectType.rsc
@@ -884,10 +884,11 @@ void collect(current: (TypeVar) `& <Name n> \<: <Type tp>`, Collector c){
         c.calculate("xxx", current, [n], AType (Solver s) { return s.getType(n)[closed=closed]; });
         //if(debugTP)println("Use <pname> at <current@\loc>");
     } else if(<true, rel[str, Type] tpbounds> := useBoundedTypeParameters(c)){
-        if(tpbounds[pname]?){
+        if(!isEmpty(tpbounds[pname])){
             bnds = toList(tpbounds[pname]);
             c.calculate("type parameter with bound", n, bnds, 
                 AType(Solver s){ 
+                    for(bnd <- bnds) println("<bnd>: <s.getType(bnd)>");
                     new_bnd = (avalue() | aglb(it, s.getType(bnd)) | bnd <- bnds);
                     return  aparameter(prettyPrintName(n), s.getType(new_bnd), closed=true);
                 });