On Analysing the Semantics of IEC61131-3 ST and IL Applications