Formatter: More tests for already-passing ObjC bits.