let
filter_ge e1 ~cond_expr = filter_comparison
Ival
.filter_ge e1 ~cond_expr