Function resolve_string_expr 

pub fn resolve_string_expr(
    deps: Deps<'_>,
    env: Env,
    expr: GenExpr<Value<String>, StringOp>,
    vars: &Vec<Variable>,
) -> Result<bool, ContractError>