Check: extreme case in checking algorithm

[hengxin]

check the extreme cases in checking algorithm:

1. the beginning of the process
2. the dynamic update of predecessors and successors of BasicOperation, especially in checking procedure