executionTrace

var executionTrace: MutableList<Triple<State, Node, BaseOpEdge>>