leanchecker found a problem in LeanCheckerTests.AddFalse
uncaught exception: while replaying declaration 'false':
(kernel) declaration type mismatch, 'false' has type
  Prop
but it is expected to have type
  False