What is the error that you are getting?. You can look for errors in the "Notice list" that is available on the GPIF design.
I opened a case in the meantime and learned that there are additional restrictions that apply to mirror states regarding the transition conditions. E.g. I used the DMA_RDY and COUNTER_HIT signal in a mirror state, which caused the problem. Now I have to solve my problem differently.