find states without outgoing
reachable-from-everywhere check (needs some tuning but works)
prettified output of always-graphcheck; check only one machine
now can check multiple states for always-reachability
detect undefined dev/EP names even without output generation
begun implementing safety check
find path to 'unsafe' vertex
output path to failure node in correct order.
started expansion of complex condition
case distinction for expanding compound conditions
splitting of AND conditions
contents and names for vertices generated by splitting AND conditions
renaming keyword alias to device -- fixed #122
fixed a gcc warning
checking of OR compound conditions
checking of access levels of endpoints: No write on EP without "write", no if on EP without "broadcast"
check the each device only has one state machine
removed else clause
fixed problem with 'never' check
conditions for multiple output file problem fixed