def METHOD_NAME():
    before_program = """
    #[version = "0.0.5"]
    def @main(%x: int) {
        let %y = cast(%x, dtype="bool");
        let %z = if (%y) {
            let %v0 = %x + %x;
            let %v1 = %v0 * 2;
            %v1
        } else {
            %x
        };
        %z
    }
    """
    after_program = """
    #[version = "0.0.5"]
    def @main(%x: int) {
        let %y = cast(%x, dtype="bool");
        let %z = if (%y) {
            let %v0 = %x + %x;
            let %_0 = memory.kill(%x);
            let %v1 = %v0 * 2;
            let %_1 = memory.kill(%v0);
            %v1
        } else {
            %x
        };
        let %_1 = memory.kill(%y);
        %z
    }
    """
    optimize_and_check(before_program, after_program, transform.ManifestLifetimes())