MethodContract[] () { return new MethodContract[]{new StandardMethodContract(new StandardMethodContract.ValueConstraint[]{NULL_VALUE}, returnFalse()), MethodContract.singleConditionContract( ContractValue.qualifier().specialField(this), RelationType.NE, ContractValue.argument(0).specialField(this), returnFalse())}; }