Module type MyCFG.CfgBidir

include CfgBackward
val prev : cfg
include CfgForward
val next : cfg