P'の返す結果は入力がある条件でのみ定義されているから一番中にいるP'が返す結果は未定義
よってその外のPの返す結果もその外のP'が返す結果も未定義になるんじゃないの？