str, Callable[[Tuple["InterfaceDictionary", int, List[str], List[int]]],
XPredicate], ] = {
"ab": lambda x: XP.XAllocationBase(*x),
"bw": lambda x: XP.XBlockWrite(*x),
"b": lambda x: XP.XBuffer(*x),
"c": lambda x: XP.XConstTerm(*x),
"cr": lambda x: XP.XControlledResource(*x),
"f": lambda x: XP.XFalse(*x),
"fi": lambda x: XP.XFormattedInput(*x),
"fr": lambda x: XP.XFreed(*x),
"fn": lambda x: XP.XFunctional(*x),
"ga": lambda x: XP.XGlobalAddress(*x),
"ha": lambda x: XP.XHeapAddress(*x),
"i": lambda x: XP.XInitialized(*x),
"ir": lambda x: XP.XInitializedRange(*x),
"iv": lambda x: XP.XInvalidated(*x),
"ifs": lambda x: XP.XInputFormatString(*x),
"nm": lambda x: XP.XNewMemory(*x),
"no": lambda x: XP.XNoOverlap(*x),
"nn": lambda x: XP.XNotNull(*x),
"nng": lambda x: XP.XNonNegative(*x),
"nz": lambda x: XP.XNotZero(*x),
"null": lambda x: XP.XNull(*x),
"nt": lambda x: XP.XNullTerminated(*x),
"ofs": lambda x: XP.XOutputFormatString(*x),
"pr": lambda x: XP.XPreservesMemory(*x),
"pv": lambda x: XP.XPreservesValue(*x),
"prm": lambda x: XP.XPreservesAllMemory(*x),
"prmx": lambda x: XP.XPreservesAllMemoryX(*x),
"prn": lambda x: XP.XPreservesNullTermination(*x),
"prv": lambda x: XP.XPreservesValidity(*x),
xpredicate_constructors = {
'ab': lambda x: XP.XAllocationBase(*x),
'bw': lambda x: XP.XBlockWrite(*x),
'b': lambda x: XP.XBuffer(*x),
'c': lambda x: XP.XConstTerm(*x),
'cr': lambda x: XP.XControlledResource(*x),
'f': lambda x: XP.XFalse(*x),
'fi': lambda x: XP.XFormattedInput(*x),
'fr': lambda x: XP.XFreed(*x),
'fn': lambda x: XP.XFunctional(*x),
'ga': lambda x: XP.XGlobalAddress(*x),
'ha': lambda x: XP.XHeapAddress(*x),
'i': lambda x: XP.XInitialized(*x),
'ir': lambda x: XP.XInitializedRange(*x),
'iv': lambda x: XP.XInvalidated(*x),
'ifs': lambda x: XP.XInputFormatString(*x),
'nm': lambda x: XP.XNewMemory(*x),
'no': lambda x: XP.XNoOverlap(*x),
'nn': lambda x: XP.XNotNull(*x),
'nng': lambda x: XP.XNonNegative(*x),
'nz': lambda x: XP.XNotZero(*x),
'null': lambda x: XP.XNull(*x),
'nt': lambda x: XP.XNullTerminated(*x),
'ofs': lambda x: XP.XOutputFormatString(*x),
'pr': lambda x: XP.XPreservesMemory(*x),
'pv': lambda x: XP.XPreservesValue(*x),
'prm': lambda x: XP.XPreservesAllMemory(*x),
'prmx': lambda x: XP.XPreservesAllMemoryX(*x),
'prn': lambda x: XP.XPreservesNullTermination(*x),
'prv': lambda x: XP.XPreservesValidity(*x),
