diff --git a/checks/CheckFramework.hs b/checks/CheckFramework.hs
index 7315d47..b08750e 100644
--- a/checks/CheckFramework.hs
+++ b/checks/CheckFramework.hs
@@ -421,7 +421,7 @@ applyAccum (accEmpty, accOneF, accJoinF) typeKeysGiven = applyAccum'
         f' (x, route, acc) = do
           x' <- f (x, route, acc)
           case x' of
-            Left y -> f' (y, route, acc {- TODO recalculate from scratch -})
+            Left y -> f' (y, route, foldl (flip accOneF) accEmpty (fastListify (const True) y))
             Right y -> return y
 
 applyTopDown :: TypeSet -> (forall a. Data a => TransFunc a) ->