But "invariant" has application in various areas, e.g. you can have a loop invariant, or function invariant. The concept/wording makes more sense on this case

But "invariant" has application in various areas, e.g. you can have a loop invariant, or function invariant. The concept/wording makes more sense on this case than "loop consistency constraint", and then you get the benefit of the concept carrying over to different places.