Understanding IEC programming logic