Started parser for native input format
Merge remote-tracking branch 'upstream/develop' into native-input
Parser for native input finished, not tested
Bugfix for transition predicate
Merge remote-tracking branch 'upstream/develop' into native-input
Merge pull request #103 from chsticksel/native-input

Native input