#9 fix transform of destructor . -> flavours so either finds same state

[nick dennis]

eg x=s.m; x=s->m;
currently, s.m and s->m (in same scope) will be transformed to different states, named s.m and s->m, respectively