State Based Backward Propagation Consistancy Check Second