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