Combinatorial Tests and Splitting Context From Specification