Analyse specgraph verify output and identify what evidence is missing to advance specs to their next state.