Toward Neurosymbolic Program Comprehension