Pigeon - Infinity (Extended Version)