Updating: improving INT2PROGINATS