In rollback_impl.cpp, we verify that the rollback common point is greater than both the replication commit point and the committed snapshot optime. We are currently using invariants to validate this. However, users may encounter situations where the common point will not be greater than the replication commit point and/or committed snapshot optime, and this invariant will fail. According to the wiki page on assertions, it may be better to use uasserts due to the possibility of users seeing this occur.