fix execution

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

add test script
Merge pull request #90 from yifan-gu/persistent

Persistent