let
subst_vars_in_predicate var_subst p =
subst_vars_in_pred (
fun
_
->
assert
false
) var_subst p