Turned on Design-By-Contract by uncommenting config file include.