Verify gen, kill, flow for a simple program.