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