def HasField(self, field_name):
    raise NotImplementedError
We expect a VSA state here.
dataset/ETHPy150Open AppScale/appscale/AppServer/google/net/proto2/python/public/message.py/Message.HasField--crossover with--dataset/ETHPy150Open angr/angr/angr/analyses/datagraph_meta.py/DataGraphMeta._irsb