Remove redundant synchronization conditions.