add generated vc from append and tll examples in sleek format, smt2 will come soon