xml2SMT mappings removed from annotation file.
RegexpParser still not clear if useable or not