let
get_and_reset_used_stmts () =
let
stmts = !used_stmts
in
used_stmts := [] ; stmts