initial (strict, not lazy) implementation of process tree, URA implementation, tests, travis build