a -> b c
b -> d
b -> [ XXX e ] e
d -> TEST
e -> TEST2
c -> TEST1