module DesignByContract::Pattern