Debugging nested if/while with phi propagation