The def-clear starts with a defining node and ends with a use node. I
looked at slide 15. The path 2-3-4-5 is an def-clear path. Other paths
are 2-3-7 and 2-3-7-9. The 2-3-4-6 is a def-clear path for variable i
not tv.
For your second question, if you need any formulas I will provide them
in the exam.
The Project 2 is now marked, and the booklets are outside of my office.
I assure you you get the best of the education for your money :-)
Greetings,
Kostas Kontogiannis