method partial_pending ps =
    E.Map.iter
      (fun e ps -> 
         Format.fprintf out "%s@[<hov 2>By %a, with pending:@]@\n" tab E.pretty e ;
         Property.Set.iter
           (fun p -> Format.fprintf out "%s@[<hov 3> - %a@]@\n" tab 
              (Description.pp_localized ~kf ~ki:true) p) ps
      ) (Scan.partial_pending ps)