Added ltl operators; Extracted unary_op and binary_op as single rules
Added predicate expressions using ProBParserBase
Added actions / transition predicates
Added enabled function