let
apply_examine_calls ff call_outputs = examine_calls ff call_outputs