This is not a coding bug. The first `TOKcast` check means "If e2x is wrapped by CastExp, unwrap it". Then e2x will be bare CallExp or not. I don't think that separating two `if`s would make code more readable. Rather I like these are near to reflect their logical proximity.