Replaces any selection from a tuple with the underlying tuple element.
Replaces any occurences of:
Tuple | [Comp, Comp, ...]
with the appropriate Comp, as determined by the
name of the
comp: The computation building block in which to perform the replacements.
A possibly modified version of comp, without any occurrences of selections from tuples.
compis not an instance of