hashtable for retrieving assertion expressions
Merge branch 'externalInfo_datastructures2' into externalInfo