Don't lose chaining in a saturation_fixpoint with no F and L.
Merge branch 'master' into fixpoint_chaining
Update examples.
Revert to a simple memory allocation scheme in unique_table.
Merge branch 'fixpoint_chaining'
Merge branch 'master' into linear_allocation