### 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_
