Optional
Normalized claim values (from JWT circuit output).
Predicate specifications. Defaults to a single EQ predicate on claim 0.
Postfix logic expression as [tokenType, tokenValue] pairs. Defaults to REF(0).
Normalized claim values (from JWT circuit output).