Overhaul, simplification, and part 1 of factorization, of joint constraint abduction.