All of the tests in the Test.Cardano.Ledger.Examples.AlonzoBBODY need to be translated to Imp Test in cardano-ledger-alonzo:test:tests package into the respective [Rule]Spec modules that are relevant for the test. Note that not all tests are related to BBODY, despite what the name of the module says.

If for some reason some tests require serious changes to Imp test, they can be left at the original place for the time being, until Imp test framework gets that feature implemented as part of another task.

Related ticket #4180
Related ticket #4181
Related ticket #4183