Added test cases for PHINode handling, updated answers and cLibrary
based on incorrect false negatives. One of the tests still needs a
.expected. This will be added once we're passing the test, but it
requires more changes to FindSentinels.