@@ -413,7 +413,8 @@ buildDepMap ci ctx mainName = addPostulates $ dfs S.empty M.empty [mainName]
413413 getDepsArgs n (Nothing, t) = getDepsTerm vs bs cd t -- unconditional
414414
415415 methodDeps :: Name -> (Int, Term) -> Deps
416− methodDeps ctorName (methNo, t) = getDepsTerm vars bruijns cond body
416+ methodDeps ctorName (methNo, t)
417+ = getDepsTerm (vars `M.union` vs) (bruijns ++ bs) cond body
417418 where
418419 vars = M.fromList [(v, VI
419420 { viDeps = deps i