[Need help debugging] - Getting TLC runtime exception

[Lev Broido]

Hi

I am trying to build specification for ARM AXI protocol starting from some very basic specification gradually extending it.

I've started defining basic channel (axi_channel) and then simple interface containing data and address channel (axi_base) . After trying to run model I've got runtime exception and I don't know how to advance . Relevant files are attached

Thanks,

Lev

1) Error screenshot

2) Files + model