Line 1_19: IF (LockCond) THEN State_Type1:=eState_Type1.LOCK_STATE; END_IF

Operator	Mutant	Result
UOI	IF NOT ((LockCond)) THEN	KILLED