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