add infinity test for karel