module Case_state: Aorai_state.Map.Make
(
End_state
)
The data associated to each statement: We have a mapping from each
possible state at the entrance to the function (before actual transition)
to the current state possibles, associated to any action that has occured
on that path.