since he never filed AOS, there's no problem for  now. But in future it might look like a red flag, if he gets married again and try to file AOS on behalf from his wife.  I don't think it matter who files for the divorcee from immigration POV. 

Best option is to try to make things work now than regret later.