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