translateExpression scope _ _ (L1.L1ExBoundVariable ss scopedID@(L1.L1ScopedID idss _)) =
  L2.L2ExBoundVariable ss <$>
    maybe (fail $ "Reference to unknown local variable at " ++ show idss)
          return (M.lookup scopedID (siValueIDMap scope))
translateExpression scope _ _ (L1.L1ExBoundVariable ss scopedID@(L1.L1ScopedID idss _)) =
  L2.L2ExBoundVariable ss <$>
    maybe (fail $ "Reference to unknown local variable at " ++ show idss)
          return (M.lookup scopedID (siValueIDMap scope))
translateExpression scope _ _ (L1.L1ExBoundVariable ss scopedID@(L1.L1ScopedID idss _)) =
  L2.L2ExBoundVariable ss <$>
    maybe (fail $ "Reference to unknown local variable at " ++ show idss)
          return (M.lookup scopedID (siValueIDMap scope))