let property (pid,stmt) =
       let kf = Kernel_function.find_englobing_kf stmt in
       let name = Pretty_utils.to_string (Description.pp_localized ~kf:`Always ~ki:false) pid in
       Wprop.Later (Property.ip_other name (Some kf) (Kstmt stmt))