AllComposition(firstClause: Clause<S, C, K>, vararg remainingClauses: Clause<S, C, K>)
Compose a number of clauses, such that all of the clauses must run for verification to pass.