Goal:
    x : Byte.byte  y : Byte.byte
  ============================
   (x = y -> Byte.to_N x = Byte.to_N y)


DEBUG:Going to execute:
destruct 1