raising the question of how to deal with non reachable paths? How to detect them?