The simplification engine is not even remotely idempotent.
Add missing field to Rephraser in OptPredicates.
Add ppFunDecLore method to PrettyLore.