LiftedCVC4 is completed some more
LiftedCVC4::addPartialAction is completed