Developing LiftedCVC4Problem and LiftedTranslator is completed