let
help =
"Handle generalized invariants inside loops."