Our utility function isImmediatelyUnexplored returns true for nodes of types TraceUnexplored, TraceUnexploredUnsat, TraceUnexploredUnsolvable and TraceUnexploredMissed. In some places where this is used, we only really want to test if the node in question is exactly Traceunexplored.
I have added a new utility function to test this, but I have not gone through the existing uses and seeing which ones are wrong.
Our utility function isImmediatelyUnexplored returns true for nodes of types TraceUnexplored, TraceUnexploredUnsat, TraceUnexploredUnsolvable and TraceUnexploredMissed. In some places where this is used, we only really want to test if the node in question is exactly Traceunexplored.
I have added a new utility function to test this, but I have not gone through the existing uses and seeing which ones are wrong.