Let getDualClauses consume less stack space