object ContractChecker : Debuggable
debug
var debug: Boolean
checkContracts
fun checkContracts(cityMap: CityMap): Unit
open fun debug(message: String): Unit