I am not sure whether all these states are mutual exclusive or not, can the unit be moving and under attack at the same time? I guess yes.

I suggest that the easiest way to know is to add an asserting condition that only 1 state is true at a given time
Figure out a smart logical expression for this