Remove :P on tls_symbolic_operand