fix (again) bug in accumInfer, order of subst accumulation was wrong