Module Data_for_aorai.Case_state

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.