let help = "Handle generalized invariants inside loops."