Do people look at loop nestness in boolean circuits?
You should have a look at PhD thesis (later published as a monograph) of Tomás Feder: Stable Networks and Product Graphs, where he studied the complexity of finding stable configurations of networks, which are exactly circuits with "loops" like  you mentioned.