Function substitute_in_expression 

fn substitute_in_expression(
    expr: &Expression,
    var_name: &str,
    value: &[u8; 32],
) -> Expression

Substitute loop variable in an expression