Аргумент в пользу LD и FBD:
Эти языки очень дружат с системным подходом. На самом деле, каждая цепочка с катушкой или цепочка логических элементов - это элементы системы. В каждый момент времени каждый элемент системы работает (живёт). Взаимодействуют элементы между собой через посредство маркеров. То есть система - есть система...
Если сравнивать с IL в этом плане, то в этом случае отдельные команды взаимоисключают друг друга, т.е. когда выполняется одна команда, все остальные мертвые! Системы нет. Программист при отладке должен помнить какая команда в данный момент выполняется, в какой условный переход пустился процессор и т.п.
Аргумент в пользу LD:
Если у Вас не включается какой-то механизм или, наоборот, он включился не по плану, то нет ничего проще - посмотреть на соответствующую цепочку LD и ответ налицо 100%.