Bug fix in numeric abduction: start with non-recursive branches. Fixes to numeric JCA so that `early_num_abduction = true` is not defeated by non-fully maximal answers to some branches.