Function satisfy 

pub fn satisfy(
    expr: &BoundExpression,
    session: &VortexSession,
) -> VortexResult<Option<BoundExpression>>

Rewrite expr into a stats-backed satisfier.