DesignByContract (nuget): Basic design by contract support
Keywords: Dbc