Symbol: has_modified_stack_frame