feat: vertex replacement (#6808) cliqueFree_of_replaceVertex_cliqueFree is still quite long.
cliqueFree_of_replaceVertex_cliqueFree