removing stp specific items
moved from sto to smt2