t:Term, g:Label. term_mentions_guard(g;(t)') 
term_mentions_guard(g;t)
da:Collection(dec()), rho:Decl, te:(Label
Label
), t:Term. trace_consistent(rho;da;te;t) trace_consistent(rho;da;te;(t)')
| 1 | t:Term, g:Label. term_mentions_guard(g;(t)') term_mentions_guard(g;t) |
About:
 |  |  |  |  |