evalL :: EvalTarget v => Insn O C -> EvalM v [v]
evalL (Branch bid) =
  do b <- get_block bid
     evalB b
evalL :: EvalTarget v => Insn O C -> EvalM v [v]
evalL (Branch bid) =
  do b <- get_block bid
     evalB b
evalL (Branch bid) =
  do b <- get_block bid
     evalB b