branchesOpRun :: t -> VAL -> VAL -> INTM
branchesOpRun t e' p = TIMES
    (p $$ A ZE)
    (branchesOp @@ [e' , L (H ((B0 :< p), [])
                              ""
                              (N (V 1 :$ A ((C (Su (N (V 0))))))))])
branchesOpRun :: t -> VAL -> VAL -> INTM
branchesOpRun t e' p = TIMES
    (p $$ A ZE)
    (branchesOp @@ [e' , L (H ((B0 :< p), [])
                              ""
                              (N (V 1 :$ A ((C (Su (N (V 0))))))))])
branchesOpRun t e' p = TIMES
    (p $$ A ZE)
    (branchesOp @@ [e' , L (H ((B0 :< p), [])
                              ""
                              (N (V 1 :$ A ((C (Su (N (V 0))))))))])