prolog-analyzer: Обнаруживать использование ФД в выражениях (на месте параметров, в границах циклов), при передаче как value/примитивный тип

[m-michurov]

• [x] Выражения
  • [x] Границы циклов
  • [x] Аргументы
• [x] Параметр типа value/примитивного типа Нужно рассматривать только верхнее использование в стеке вызовов

[m-michurov]

Пока сделал обнаружение выражений, передаваемых при вызове ФК (атомарного/структурированного) на место параметра примитивного типа/типа value (?).