added more content to DBC result section, in particular considering shortcommings in Scala's default contracts