Function flatten_or_property 

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

Collect the non-Or leaf properties of a (possibly compound) property tree.