information about Symbolic trajectory evaluation field