How can I tell the opaque predicate in stp excution?

[shandianwuzu]

In your test case.
the stp shows:
zyj@ubuntu:~/Public/loop/opq-testcases/mytest$ ./run_stp.sh
0:
Valid.
1:
Valid.
2:
Valid.
3:
Valid.
4:
Valid.
5:
Valid.
6:
Valid.
7:
Valid.
8:
Valid.
9:
Valid.
10:
ASSERT( symb_2_112 = 0x0A );
ASSERT( symb_1_111 = 0x33 );
Invalid.

when the mytest1.c has a Contextual opaque predicate, how can I tell the predicate from the result of the stp excution?