Fix DualEvaluator to handle (static) fields
Don't duplicate repaired function
Allow TEGIS-like rules to descend unsafely into FunctionInvocations
Print solutions in the correct order
Simplify arithmetic in bestEffort
+-1 for any integer expression