Fixed the missing eval parameters, added some logging
More flexible and powerful refinement of variables in CA
Have Condition Abduction work at least in manual mode