Fostering Design By Contract by Exploiting the Relationship between Code Commentary and Contracts