Including LTL code