Trying to update a check propagation