Goal:
    b : Byte.byte  y : string
  ============================
   (CompareSpec (""%bs = String b y) (lt "" (String b y))
      (lt (String b y) "") Lt)


DEBUG:Going to execute:
<coq-core.plugins.ltac::constructor@0>