We can get panics because of expression type description is not fully discovered and after referencing is complated, type descriptions are not properly updated causing IR to panic when traversing through the arguments.