The only thing that the phases in the fixpoint care about is local canonicalization.
Created attachment 191818 [details] work in progress
Created attachment 191846 [details] work in progress