`update_assoc` bug fix.
Drop the use of SCA to filter disjunction elimination answer -- simplification should suffice. Drop `abd_s` altoghether.