split file into separate theorems with dependencies (deprecated — use extract_decls)
This tool is deprecated and will be removed in a future release.
Use extract_decls instead, which supports all declaration kinds.