Correctly handling arrays/pointer aliasing.

Though a different way to do it have to be explored by relying on the non cleaning of the state machine's map.