Fix to abductive disjunction elimination: when adding parameter equations, exclude universally quantified non-parameter variables. Option `-more_existential` to turn off introducing equations over variables in abductive disjunction elimination. Removed filtering of atoms by location in `split`.