---MAX NUMBER OF ASSERTIONS---
Generate up to ${max_assertions} high-quality assertions. Use fewer if that provides better quality and avoids redundancy.
