Added the transition relations for the CDs