add frame for another pass to compute whether variables are available, then use to...