Goal:
    b : Byte.byte  ys : t
  ============================
   (false = false)


DEBUG:Going to execute:
trivial; hnf; intros