Function rule 

pub fn rule<C, O, F>(rewrite: F) -> impl Rule<O>
where
    C: PlanNode,
    O: Operand + 'static,
    F: Fn(&C, &Stats<'_>) -> Option<O> + Send + Sync + 'static,