Goal:
    G : t  z : Z  le : z <= 0
  ============================
   (is_true (z <=? 0))


DEBUG:Going to execute:
eapply Z.leb_le