Илья Евгеньевич,

у меня такой текст
## Код:
```
TYPE R = RECORD END; 
   PROCEDURE (VAR r: R) From, NEW; END From;
```

компилируется успешно, а такой
## Код:
```
TYPE RR = RECORD END;
   PROCEDURE Do*; VAR rr: RR; BEGIN rr.From(*X*)(rr) END Do;
```


завершается ошибкой undefined record field.
Строки "From" в модулях анализатора не найдено.
Похоже, у вас там какая-то магия...