added is-finite macro to xCycle