let stmt_key stmt = if is_call_stmt stmt then call_key stmt else Stmt stmt