removed some unused parts of [Smt]