It might be hard-coded then. I can suggest a modification to the taxonomy terms search file, but I am not sure if it will actually work:
1. Open up the wp-content/plugins/ajax-search-pro/includes/classes/search/class-asp-search-terms.php file on your server
2. Replace it’s contents with this
3. Save
If all goes well, it should do something.