fixed TS tests; create a new SM Init Statement