TraitCompileErrors.dfy(7,46): Warning: This ensures clause is part of a bodyless function. Add the {:axiom} attribute to it or the enclosing function to suppress this warning
TraitCompileErrors.dfy(8,35): Warning: This ensures clause is part of a bodyless method. Add the {:axiom} attribute to it or the enclosing method to suppress this warning
TraitCompileErrors.dfy(9,49): Warning: This ensures clause is part of a bodyless function. Add the {:axiom} attribute to it or the enclosing function to suppress this warning
TraitCompileErrors.dfy(10,41): Warning: This ensures clause is part of a bodyless method. Add the {:axiom} attribute to it or the enclosing method to suppress this warning
TraitCompileErrors.dfy(13,36): Warning: This ensures clause is part of a bodyless method. Add the {:axiom} attribute to it or the enclosing method to suppress this warning
TraitCompileErrors.dfy(14,39): Warning: This ensures clause is part of a bodyless method. Add the {:axiom} attribute to it or the enclosing method to suppress this warning

Dafny program verifier finished with 2 verified, 0 errors
TraitCompileErrors.dfy(8,18): Error: Method StaticMembers.Tr.Method has no body so it cannot be compiled
Translation was aborted because errors were found
