Please don't do unnecessary checks. The documentation doesn't mention anything about `contact` ever being 0, and looking at the Box2D code it can't ever be 0 because it's called from the `b2Contact` instance itself.