tcForInitializer (InitializerExpression (Just e)) = do
    e' <- withExprC ReadWriteExpr $ tcExpr Nothing e
    return $ InitializerExpression $ Just e'
tcForInitializer (InitializerExpression (Just e)) = do
    e' <- withExprC ReadWriteExpr $ tcExpr Nothing e
    return $ InitializerExpression $ Just e'
tcForInitializer (InitializerExpression (Just e)) = do
    e' <- withExprC ReadWriteExpr $ tcExpr Nothing e
    return $ InitializerExpression $ Just e'