let
state_name stmt =
Printf
.sprintf
"Loop Invariants (sid:%d)"
stmt.sid