end block can also have 0 predecessors