While processing state %1, statement %2 is found in the previous state %3 which is incorrect; it should be in %4 state; throw ...