Package daikon.derive.ternary