Bug fixes and update test example
Restruct Prover