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