create a dummy vertex when visiting the solution set node