fn load_external_relation_rows( program: &Program, source_path: &Path, source_predicates: &HashSet<String>, ) -> Result<HashMap<String, Vec<Vec<DiagnosticScalar>>>>