## Код:
```
PROCEDURE Receive (id: CHAR; a: ARRAY OF CHAR; len: INTEGER);
   VAR
      n :INTEGER;
      s :SET;
      b :BOOLEAN; 
   BEGIN
      n := 33;
      s := {1};
      ASSERT(n IN s);
      ASSERT(~(n IN s));
   END Receive;
```


Срабатывает второй ASSERT