Cubicle 1.1.2 documentation and source : Prover.SMT