Predicate instructionForFullyConvertedCall

Gets the instruction that represents the first use of the value of call following a sequence of conversion-like instructions.

This predicate only holds if there is no suitable operand (i.e., no operand of a non- conversion instruction) to use to represent the value of call after conversions.