State transitions during FMD (backwards) search appear reversible