add draft of smt_semio