- should move Instruction generation out of generators ?
- small optimization _* /\ _* -> _*
- another optimization (....,X*,a) -> we shouldn't generate a loop for X*
- Ref(Variable)
- optimze using java lists instead of conc(l*,a) or at least reverse
- all comments should be like in SynctacticPropagator
