ctf_merge_gettype
ar.ctr_contents = ctf_merge_gettype(cmp, ar.ctr_contents);
ar.ctr_index = ctf_merge_gettype(cmp, ar.ctr_index);
reftype = ctf_merge_gettype(cmp, reftype);
reftype = ctf_merge_gettype(cmp, reftype);
ctc.ctc_return = ctf_merge_gettype(cmp, ctc.ctc_return);
argv[i] = ctf_merge_gettype(cmp, argv[i]);