implementation code into klee 2.9 version (mainly modified Executor.cpp) to extent the test-tool's function such as print out the specific layout message of aggregate type.