Quit when action selector isn't found
Failing post-condition exits the flow
Report and exit upon invalid condition
Add annotations and minor fixes
Add `Value` runner