Don't lose chaining in a saturation_fixpoint with no F and L.
Merge branch 'master' into fixpoint_chaining
Merge branch 'fixpoint_chaining'