90     Effect effect = Lookup(var);  in LookupBounds()  local
91     return effect.modality == Effect::DEFINITE  in LookupBounds()
92         ? effect.bounds : Bounds::Unbounded(Base::zone());  in LookupBounds()
96   void Seq(Var var, Effect effect) {  in Seq()  argument
99       effect = Effect::Seq(locator.value(), effect, Base::zone());  in Seq()
101     locator.set_value(effect);  in Seq()
110   void Alt(Var var, Effect effect) {  in Alt()  argument
113       effect = Effect::Alt(locator.value(), effect, Base::zone());  in Alt()
115     locator.set_value(effect);  in Alt()
138     void Call(Var var, Effect effect) { self.Seq(var, effect); }  in Call()
144     void Call(Var var, Effect effect) { self.Alt(var, effect); }  in Call()
150     void Call(Var var, Effect effect) {  in Call()
151       if (effect.modality == Effect::DEFINITE && !other.Contains(var)) {  in Call()
152         effect.modality = Effect::POSSIBLE;  in Call()
155         locator.set_value(effect);  in Call()
163     void Call(Var var, Effect effect) { effects.Seq(var, new_effect); }  in Call()