Goal:
  
  ============================
   (let __wit := [] in
    let __varmap := VarMap.Empty in let __ff := Tauto.TT Tauto.isProp in True)


DEBUG:Going to execute:
zchecker