manopapad/proper — pull request #66 by fredrikelinder (2013-03-27 01:56:13+00:00)
Title: no nextstate if postcond fail

In execution phase:

command execution loop
1 - check precondition
2 - evaluate the command
3 - check postcondition
4 - run next_state only if postcondition returned 'true'