information about Symbolic execution field