predicate: simplify !(v) === false
jail: jail nested scopes