extended prepl for ltl/ctl parsing