@@ -48,8 +48,8 @@ forceArgs n t = do i <- getIState
4848
4949 guarded :: Term -> [Int]
5050 guarded t@(App f a)
51− | (P (TCon _ _) _ _, args) <- unApply t
52− = mapMaybe isF args ++ concatMap guarded args
51+-- | (P (TCon _ _) _ _, args) <- unApply t
52+-- = mapMaybe isF args ++ concatMap guarded args
5353 | (P (DCon _ _) _ _, args) <- unApply t
5454 = mapMaybe isF args ++ concatMap guarded args
5555 guarded t = mapMaybe isF [t]