Visitors for AspectJ code generation out of LTL formulas.