a hurried traversable matcher added. randomStartingState tested