bugfix: In searching phase, we should trace back all the failure nodes to see if they are in final state