| not (trace_tn $ printToString newstate.sdss) = undef
| not (trace_tn $ printToString newsdss) = undef
= ([MTSds sdsi e\\{sdsi,sdsval=e}<-newsdss] ++
| not (trace_tn $ printToString newstate.sdss) = undef
| not (trace_tn $ printToString newsdss) = undef
= ([MTSds sdsi e\\{sdsi,sdsval=e}<-newsdss] ++