ContractException

constructor(problems: List<String>)