0 -> p100 p100_NIK -> NIK + p52 p52 -> 0 p100 -> 0 2*p100 -> IkBd IkBd -> 2*p100 IkBd -> 0 IkBd_NIK -> NIK NIK + p100 -> p100_NIK p100_NIK -> NIK + p100 IkBd + NIK -> IkBd_NIK IkBd_NIK -> IkBd + NIK 0 -> RelB RelB + p52 -> RelB_p52 RelB_p52 -> RelB + p52 RelB_p52 -> 0 RelB -> 0