Flick, N. E. Proving Correctness of Graph Programs Relative to Recursively Nested Conditions. eceasst 2016, 73.