modified smt_model test to be insensitive w.r.t. the generation of internal fresh variables