daikon.inv.Equality.special_const=1
daikon.inv.unary.scalar.RangeInt.PowerOfTwo.enabled=0
daikon.inv.binary.twoScalar.IntNonEqual.enabled=0
daikon.inv.binary.twoScalar.FloatNonEqual.enabled=0
daikon.inv.binary.twoString.StringNonEqual.enabled=0