if(NOT EXISTS "${Data}")
  message(SEND_ERROR "Input file:\n  ${Data}\n" "does not exist!")
endif()
if(EXISTS "${AdjacentHash}")
  message(SEND_ERROR "Adjacent hash record exists but should not:\n  ${AdjacentHash}")
endif()
if(NOT EXISTS "${StateHash}")
  message(SEND_ERROR "State-root hash record is missing:\n  ${StateHash}")
endif()