Add code to check if an IN_OUT variable is being passed an IL list in formal IL FB/function invocations.

Generate correct error message when encountering IL lists embedded in IL formal invocations.

Fill in the 'datatype' anotation in the identifiers of symbolic variables.
(even though currently it is not being used).

Fix C code generation of FB invocation in IL.

Fix detection of datatype errors on IL conditional flow control operators (JMPC, RETC, ...)

Allow array_dimension_iterator to accept an array_spec_init_c.
Fixes bug activated by generating C code from IL code containing array variables.

Small code cleanup (move common code to a function)

Fix datatype analysis of conditional IL operators (CALC, CALCN, RETC, RETCN, JMPC, JMPCN, S and R)

Fix datatype analyses of S and R IL operators.

make sure all IL operands are narrowed (datatype checking algorithm)

cosmetic change only - fix code alignment.

Add support for FB call semantics of 'S' and 'R' IL operators!
Remove segfaults when analysing buggy IL code (IL operators with no operands).

Stop lvalue check from segfaulting when coming across buggy IL code (IL operator with no operand!)

Allow get_datatype_info_c to be called with NULL parameters.

Do lvalue check of function output parameters (since they may contain expressions inside array subscripts!)