>>499
その（曖昧な）条件だとどちらも同じプログラムに帰結することが可能そうだから、差を生じる理由は導けないと思う。