Move Joseph's proofs to the folder "examples"
Add let expression in VeriT format

Fix issue #68