Add depopt predicate