Added info about executed nodes to symbolic state