[S] ||| [A]
[A] ||| [B] [C] ||| Mono=1
[A] ||| [C] [B] ||| Inv=1
[B] ||| b
[C] ||| c