- fixed a bug in reftyping-consistent for proving "write" clause.