and fixing the update of aux and LIMITS with the new correct treatment of args