Changes in empset.c (previous version)

> static /*@only@*/ ereftab known;

>    /*@modifies known@*/

>    /*@globals known@*/
>    /*@modifies known@*/

<   if (initDone) return;
---
>   if (initDone) 
>     {
>       /*@-globstate@*/ return; /*@=globstate@*/
>     }

Changes in empset.h (previous version)

< /*@only@*/ ereftab known;
< 

Changes in empset.lcl (previous version)

<   modifies s;
---
>   modifies s, internalState;

>   modifies internalState;