State Based Backward Propagation Consistancy Check