State Based Propagation Consistency Check