+ test case for more complex acyklic graph