Added simple corollary that incorrect program can't pass verification.
Merge branch 'master' of https://github.com/codenet/wl-no-sleep