IndepFiger

John,
Please see the changes in ManualEvaluation. I basically try to use the fixed set for eval. But it's now disabled due to the pitfall of a overestimated precision.