Do constant propagation to symbolic_variables, and correctly handle constant folding and propagation of variable declarations.
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"