Popravek IN na XOR, dodana nerekurzivna zadeva, se nepreverjena.