PHONY VERIFIED SYMBOL OPERATIONS: A INCREASING PROBLEM