Exhaustive path check