Properly define gen, kill, out
Merge branch 'master' of https://github.com/codenet/wl-no-sleep

Verify two program's correctness with out, gen, kill defined.