Updated TCKF to carry out consistency checking properly. Changed the
initial state of TCKF resource to challeng the consistency checking
process.