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