Trees in Partial Higher Dimensional Automata (Foundations of Software Science and Computation Structures, 2019)