Fixed smt.ml code