let name = "WP Loop Invariants Consolidation"