Added support for 'stack tuples' in CEq.