Add let expression in VeriT format

Fix issue #68