Main algorithm: minor fixes in quantifier handling.
Abduction error handling.
Delta variables are regular vars again. Simplify predicate variable answers before returning from main algo.