Does current `table_executor` consider default action reachability?

[RabbitWhite1]

Does current `table_executor` consider default action reachability?

[fruffy]

This is a bug in the dead code eliminator, less so in the analysis. It used to be the case that only NoAction was removed, but we should instead substitute the apply call with the default action instead if a table is removed.

[RabbitWhite1]

I see. I found that defaultonly actions are filtered out in the dead code eliminator. Can we simply transform the apply call to the default action call right before here if the default action for this table is specified?

[fruffy]

Yes, we basically retrieve the default action from the table. We can check whether the body is empty, too.

[RabbitWhite1]

Great. I will submit a pr to fix this.

[RabbitWhite1]

Fixed by #56. Also updated reference files. PTAL @fruffy