Add a predicate to Argument to check for the StructRet attribute.