> その安全を手に入れるための制約(=実行前の構造決定)を捨てることによるメリットの

ないよそんなもん。