Function collect_atoms 

fn collect_atoms<'a, 'tcx>(
    property: &'a Property<'tcx>,
    out: &mut Vec<&'a Property<'tcx>>,
)

Collect the atom leaves of a (possibly compound) property tree.