We combine all non-arithmetic modes into irms_auxiliary (two auxiliary
nodes are considered equal iff they have the same name).