< e es | 
e.kind =
a > > + < mk_smt(f.var, f.var, f.typ) | f < f fs | 
a f.acts > > ls == reduce(
a,b. x = a 
b;false;ls)
is mentioned by
| Def action_effect(a;es;fs) == < e.smt | e < e es | e.kind = a > > + < mk_smt(f.var, f.var, f.typ) | f < f fs | a f.acts > > | [action_effect] |
In prior sections: mb label
Try larger context:
GenAutomata