[WalterBright]

I had missed this, the paper does mention D:

"Programming languages such as Eiffel and D have a Contracts facility; this paper proposes a Contracts facility for C++."

[JimBright]

Maybe you should execute their trainer!