Verify fixed in several tests.
ObjectiveCFileStateTests adopted to XCTest.