Basic CFG. Codegen for if statements.