Conditional jump test should add to liveness. Fixes #1.
Add disclaimer of unreadiness.