Add predicates network_not_split, valid_network