fn diagnostic_relation_rows( program: &Program, external_rows: &HashMap<String, Vec<Vec<DiagnosticScalar>>>, ) -> Result<HashMap<(String, usize), Vec<Vec<DiagnosticScalar>>>>