smt/+ -> smt/combine-styles