Function concrete_gas_cap 

fn concrete_gas_cap(
    hir: &Hir<'_>,
    expr: &Expr<'_>,
    seen: &mut BTreeSet<VariableId>,
) -> Option<U256>