remove unnecessary rlocks from col.ForAll