post-merge checking