modify to add new verification environment