MethodContract[] () { ContractValue thisValue = ContractValue.qualifier().specialField(this); return new MethodContract[]{ MethodContract.singleConditionContract(thisValue, RelationType.EQ, ContractValue.zero(), returnTrue()), MethodContract.trivialContract(returnFalse())}; }