description+="\nThere is a check on storage index "+str(index)+". This storage index can be written to by calling the function '"+s.node.function_name+"'."
break
ifnotoverwrite:
logging.debug("[UNCHECKED_SUICIDE] No storage writes to index "+str(index))
can_solve=False
break
exceptKeyError:
iffunc:
description+="\nThere is a check on storage index "+str(index)+". This storage index can be written to by calling the function '"+func+"'."
break
else:
logging.debug("[UNCHECKED_SUICIDE] No storage writes to index "+str(index))