Remove the PathEmpty ADT member
Merge branch 'topic/noPathEmpty'