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)