なんか理解しているのかすごい怪しいなぁ。

一応回答しておくと、アクションの生成のフェーズなら参照透明性を保証された純粋関数の計算でしかないから
main文が同じなら当然同じアクションが生成される。
同じプログラムなら生成されるものも同じという意味で。

理解してたらこんな話出てこないと思うんだけど。