Nice catch! The extractor now calls `dealiasWiden`.