Symbol: fsm2ccp