Function encode_sequence 

pub(crate) fn encode_sequence<'a>(
    cx: &mut SymCx,
    values: impl IntoIterator<Item = &'a SymbolicAbiValue>,
) -> SymBytes