Want to automate your advanced ERC with context-aware verification?