Fixed binary ltl operator precedence
Argument checking simplified
Fixed cycle detection
Merge branch 'master' of github.com:pkantner/ltlparser