modes are added in smt2