fixed pretty printing of data structures as cells
added smt_prelude path to simple verification examples