debug commit
fix execution

clear sccIndex and sccLowlink when aborting the execution,
so that we won't miss that instance later