fn branch_policies( desired: &Environment, actual: Option<&Environment>, diff: &mut FieldDiff, ) -> Vec<Change>