update consistency of for/rev