[klee-dev] How to disable labels in KLEE expressions?

[hc2...@columbia.edu]

Dear folks,
     I am wondering how labels for expressions work? Could you please  
tell me which part of code is handling replacing sub-expressions with  
labels?
     For example, given the expression below:

(Slt (Select w32 (Slt N0:(ReadLSB w32 0 n)
                       16)
                  N0
                  16)
      N0)

   If I want to disable the labels, i.e., I want the expression to be  
like this:

(Slt (Select w32 (Slt (ReadLSB w32 0 n)
                       16)
                  (ReadLSB w32 0 n)
                  16)
      (ReadLSB w32 0 n))

   Which part of code should I look for?

Thanks,
Heming Cui