Function expr_touches_param 

fn expr_touches_param(expr: &Expr<'_>, params: &[VariableId]) -> bool

True when any sub-expression references one of the supplied VariableIds.