HK2-176 Honor ContractsProvided when analyzing classes directly