diff --git a/src/comp/IExpand.hs b/src/comp/IExpand.hs
index 1b5c32e3..98d61447 100644
--- a/src/comp/IExpand.hs
+++ b/src/comp/IExpand.hs
@@ -4105,10 +4105,6 @@ getBuriedPreds (IAps ic@(ICon i_sel (ICSel { })) ts1 [e])
     | (i_sel == idAVValue_ || i_sel == idAVAction_) = do
   --traceM("getBuriedPreds: AV sel")
   getBuriedPreds e
-getBuriedPreds (ICon _ (ICMethod _ _ eb)) = do
-  -- traceM("getBuriedPreds: method")
-  p <- getBuriedPreds eb
-  return p
 getBuriedPreds e@(ICon _ _) = do
   --traceM("getBuriedPreds: con: e = " ++ ppReadable e ++ show e)
   return pTrue