Currently, because the project is not yet complete, there are invariants that are commented out in the rs_rollback.cpp file that need to be uncommented and updated once the rest of the project is complete. Additionally, we need to fix the removeRedundantOperations() function, which is also currently commented out, as well.