Function exp_expr_for_concrete_exponent 

pub(crate) fn exp_expr_for_concrete_exponent(
    base: Expr,
    exponent: usize,
) -> Expr

Computes the exp_expr_for_concrete_exponent EVM semantics helper result.