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