On the Value of Labeled Data and Symbolic Methods for Hidden Neuron Activation Analysis