ensure subst(x, v, e)==e if !fn(x, e)