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))