New EqPartition test combinator is used.