Dissociate alien subterms prior to numerical abduction.
Optional order of choices in simple term abduction: ensuring generality vs. speed in typical cases.