Function extremum_bound 

fn extremum_bound(
    predicate: &Expr,
    argument: &Expr,
    extremum: &AggregateFunction,
    argument_type: &DataType,
) -> Option<Expr>