SMTInterpol Changes