Function add_rc_and_sbox_generic 

pub fn add_rc_and_sbox_generic<F: Field, A: Algebra<F> + InjectiveMonomial<D>, const D: u64>(
    val: &mut A,
    rc: F,
)

Generic round-constant addition followed by S-box evaluation: val <- (val + rc)^D.