Can i find the label on the transitions?

[Burton Lu]

If i have state space like the picture.

Each state is tuple (a,b,c,d)

When i find the counterexample, i want to know the label on the transition. 

(Ex: For the left path, a=1 b=1 c=0 can cause the cex)

Can Prism do it?

How can i find it in the source code