https://github.com/tweag/plutus-script-reexecutor/pull/154#discussion_r2881505561
#154 (comment)