let add_used_stmt stmt = used_stmts := stmt :: !used_stmts