PHONY VERIFIED SYMBOL OPERATIONS: A EXPANDING PROBLEM