Moved extended while prover into its own folder as per Nikos' request.