generalizing program for Cleaver2 Usage