call_return_states_after_hooks
call_return_states_after_hooks(right);
call_return_states_after_hooks(expr);
call_return_states_after_hooks(call_expr);