Finished implementation of the NullabilityCheck algorithm. All tests pass this time.