Create IF.v