let join_predicate pred status =
    ignore (S.Predicate.update pred (fun old -> merge old status))