Line 1_3: IF (Unit_is_Type1 AND (State_Type1=eState_Type1.ZERO_STATE)) THEN State_Type1:=eState_Type1.SETUP_STATE; END_IF

Operator	Mutant	Result
LCR	OR	KILLED
LCR	XOR	KILLED
ROR	<>	KILLED
UOI	IF NOT ((Unit_is_Type1 AND (State_Type1=eState_Type1.ZERO_STATE))) THEN	KILLED