Add basic flip operator
Boolean checkpoint