Set level predicate vary done