Generalize CLI to allow the applications of multiple algorithms to the proof