Bytemanチュートリアル（日本語意訳）どのルールがロードされコンパイルされたか確認したいんですが？

Byteman （http://byteman.jboss.org/docs.html）のチュートリアルを日本語意訳したものです。

bmsubmit.sh を再度実行するとルールが正常にコンパイルされていることが確認できます。

    -----
    > bmsubmit.sh
    # File thread.btm line 4
    RULE trace thread start
    CLASS java.lang.Thread
    METHOD start()
    AT ENTRY
    IF true
    DO traceln("*** start for thread: "+ $0.getName())
    ENDRULE
    Transformed in:
    loader: sun.misc.Launcher$AppClassLoader@5acac268
    trigger method: java.lang.Thread.start() void
   
    compiled successfully
    >
    -----

「compiled successfully.」と出力されています。これはルールの型チェックに成功し適用されたことを意味します。

ルールが最初にトリガーされたときに型チェックを行った場合（[baz]を含む行をタイプした後）は、
型チェック失敗するとコード注入は実行されずに失敗した詳細が出力されます。
注入されたコードはルールがアンロードされたときのみ削除されます。