Generalization of Clauses Containing Cross Connections