This file contains the
check_and_add_state
function - a function that is used to determine if a
reached state is found in the states collection and if so,
to insert it there. (an operation that can be considered
atomic).
It has several #ifdef'ed portions used to do it for the various types of states collections supported at compile time. It also has a function to collect the new stacks that were present in a similar fashion.
It is being used by the tests functions to put a state in the state collection.