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