How do I create the shift pattern of ABBCD?

How do I create the shift pattern of ABBCD?

You need a special care for consecutive patterns.

The first line is an implication A → B.
The second line is an implication A ← [BB]. The third line is [BB] → C.
The forth line is prohibiting a single pattern of B.
The fifth line is B ← C.

Load the Project File

File → Open Project File from GitHub