Add a couple of tests without testing infinite loop generation. ;)