+let unreferred target_pattern source_pattern =
+ let query =
+ M.Bin M.BinFDiff
+ (
+ M.Property false M.RefineExact [] [] [] [] []
+ true (M.Const target_pattern)
+ ) (
+ M.Property false M.RefineExact ["refObj"] ["h:occurrence"] [] [] []
+ true (M.Const source_pattern)
+
+ )
+ in M.StatQuery query
+