We do not currently know of any antonyms for loop invariants.
The noun loop invariants is defined as: