Do lvalue check of function output parameters (since they may contain expressions inside array subscripts!)
IEC 61131-3 Annex F Examples (informative)
This directory contains example code take from:
Annex F of Draft 2nd edition of the IEC 61131-3 standard (1998)
"PROGRAMMABLE CONTROLLERS - PROGRAMMING LANGUAGES"