Node 11 closes a loop to node 0. Hence, the function LoopCheck as defined on slide 105 is called. For µ, this is false. For nu, it'd be true.
Basically, the meaning of this closed loop is “state s4 is included if state s4 is included”. Since µ is the least, not the greatest fixpoint, we decide not to include s4.