The localization of pupilloconstrictor function within the mid‐brain of the cat