Add function `asIntModType` to Recognizer library.
Add function `asIntModType` to Recognizer library.

GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script