pub fn extract_atom_constraints( atomic: &Atomic, depth: usize, in_comp: bool, edge_count: &mut usize, ) -> Vec<Constraint>