PHONY VERIFIED SYMBOL OPERATIONS: A INCREASING CONCERN