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