[ivette] Pivot table: uses a global state for the pivot table. See merge request frama-c/frama-c!3696
