Updating: adding regressing test for INT2PROGINTATS
Updating: fixing a typo
Updating: minorly improving