a bug in filling the notSmashStmts set