let
name =
"WP Loop Invariants Consolidation"