We have a transformation that adds a composite extract instruction, but it is only used in an auxiliary fashion right now. It would be good to have a fuzzer pass that would add composite extracts, probably biased towards extracting parts of composites for which we have synonyms.