Částečně rekurzivní funkce: Porovnání verzí