well-formedness on data & graph at the end of blocks