Initial commit of SMT2 script