#KJ-25 Represent arguments of elaborated method calls as casts.