pub(super) fn extract_base_facts(project: &Project) -> BaseFacts
Extract all base facts from the project for Datalog computation.