text.dfy(1,5): Error: cannot find witness that shows type is inhabited (only tried 0); try giving a hint through a 'witness' or 'ghost witness' clause, or use 'witness *' to treat as a possibly empty type

Dafny program verifier finished with 0 verified, 1 error
