smt2: initialise tt array