public ThrownException() { this.exceptionType = Dummy.TypeReference; this.postcondition = ContractDummy.Postcondition; }