Add script to check if a reordering satisfy the HB relations