Common use of Splitting of RΓW,c(X, Z(n)) ⊗Z Q Clause in Contracts