Refactoring with Invariants: Assertions and Contracts

Create a method to add assertions/contracts before refactoring so behavior is constrained. Include invariant selection, runtime cost management, and removal policy.

Author: Assistant

Model: gpt-5.2