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