>>267
そこでEiffelのprogram by contractとなる、と。