Replace direct calls to nsoli and sa in recsAuxiliary by runeqsolver