structor">Awont_leak</span></span></code></td><td class="def-doc"><span class="comment-delim">(*</span><p>value do not participate in memory leak analysis</p><span class="comment-delim">*)</span></td></tr></table></div><div class="spec-doc"><p>Attributes are nary function symbols that are applied to expression arguments in Apred and Anpred atomic formulas. Many operations don't make much sense for nullary predicates, and are generally treated as no-ops. The first argument is treated specially, as the &quot;