“…Loop Invariants: Finding loop invariants is one of the fundamental problems in program verification. Numerous works [15,16,41,42,61,79,81,93] have been proposed over the decades for detecting loop invariants, inferring them and then utilizing their knowledge for program verification. In contrast to the prior works, we explored the problem of detecting loop-invariants with the view of specific loop optimizations.…”