disable type002.smt2 strings regression