State Based Backward Propagation Consistency Check