irverify: Verify that nodes, which should be in the start block, are in the start...