Document properly extract_definitions()