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