Added accessor method to FindSentinels, filled out more of the
skeleton of NullAnnotator. Now I just need to work out how
to walk the call graph and add that logic, and write tests
before we can start trying this on some real world problems!