diff --git a/src/org/rascalmpl/compiler/lang/rascalcore/check/AType.rsc b/src/org/rascalmpl/compiler/lang/rascalcore/check/AType.rsc
index da4e43f2da..22738ff8b3 100644
--- a/src/org/rascalmpl/compiler/lang/rascalcore/check/AType.rsc
+++ b/src/org/rascalmpl/compiler/lang/rascalcore/check/AType.rsc
@@ -75,8 +75,6 @@ default bool asubtype(AType l, AType r){
             return asubtype(l, aliased);
         case \start(AType t):
             return asubtype(l, t);
-        case aprod(p):
-            return asubtype(l, p.def);
         case \iter(AType t):
             return asubtype(l, t);
         case \iter-star(AType t):
@@ -200,22 +198,6 @@ bool asubtype(ac:acons(AType a, list[AType] ap, list[Keyword] _), AType b){
     fail;
 }
 
-bool asubtype(ap: aprod(AProduction p), AType b){
-    switch(b){
-        case aprod(AProduction q):
-            return asubtype(p.def, q.def);
-        case \start(AType t):
-            return asubtype(ap, t);
-        case conditional(AType t, _):
-            return asubtype(ap, t);
-        case AType t:
-            return asubtype(p.def, t);
-        case avalue():
-            return true;
-    }
-    fail;
-}
-
 bool asubtype(adt:aadt(str n, list[AType] l, SyntaxRole sr), AType b){
     switch(b){
         case anode(_):