simplified simplifyClause