Now that we think that CheckSymbolExists really works for all cases it is time to prove that. If this code fails too many other things will break.