Evaluation semantics is not correct

[b1conrad]

See discussion here, in which I attempted to prove that v0 and v1 had equivalent semantics. Included therein is a small ruleset which can be compiled, installed, and used in a pico in either version of the pico-engine, and which does not operate correctly in v1.

All rules in a ruleset must advance their state machine for an incoming event, even if they cannot be evaluated because of a last statement in a postlude. The fix will probably have to be in the select-when package, but raising the issue here.