pub(crate) fn concrete_expr_bytes( bytes: &[SymExpr], reason: &'static str, ) -> Result<Vec<u8>, SymbolicError>