Refactor scan_for_labels_in_function_body()