No M:next_state/3 if M:postcondition/3 return false
Merge pull request #67 from fredrikelinder/ef1676d61ba0f03c21f70b8700867d8c42cfcc4a

No call to next_state if postcondition returns false