AST and pretty printing for LTL formulas