hack to filter out Boogie axioms with large "distinct" predicates that cause legacy solver death
changed fixedpoint output format for easier parsing in Boogie
fixed several interpolation problems
removed distinct predicate hack
fix for quantifiers in interpolants
trying alternate encoding of distint
strarting on conjecture printing in duality
added fixedpoint.conjecture_file option
interp localization hack
debugging code in duality
merged interp hack
merge duality debug code
fix for bad coefficient in AssignBounds
fix for possible problem in Farkas proofs in interp
interp handle mystery arith lemmas
add round-off to farkas resconstruction in interp
fix unbound variables bug in duality_dl_interface
fix markers aliasing bug in Duality::CheckerForEdgeClone
trying to prevent quantifier in interp (leq2eq rule)
turn off a windows warning