Swc 1686

newCluase->newClause