reorganize verification condition