invariant in programming languages - Search