Support for arbitrary tuples where each element implements kani::Arbitrary. Tuples of size up to 12 are supported in this file.
kani::Arbitrary