fix: make parameter name fallback null-safe in Predicate::formatSummaryCall#16179

Snezhkko wants to merge 1 commit intoargotorg:developargotorg/solidity:developfrom

Snezhkko:fix/formal-null-param-deref-predicateSnezhkko/solidity:fix/formal-null-param-deref-predicateCopy head branch name to clipboard