Making a checkpoint before incorporating LiquidFun