Proving almost-sure termination by omega-regular decomposition