[bv-dev] Questions on TCK SequenceResolutionTest