Most of LiftedCVC4 is completed