KLEE : Is there a way to tag/flag symbolic variables that were NOT used in determining the path?

Question

For every test generated by Klee for a simple program (say main.cpp), I want a list of all symbolic variables that were not hit/used to determine the path taken in the program.