Neurosymbolic Hidden Neuron Analysis in Convolutional Neural Networks