add predecessors and successors to State