Fixing dependent inversion. Some exceptions were not caught by the tactic
monad.