use logical or of conditional branches' pcs as conditional node pc
make ast printer print presence conditions for nodes
correct test data