Give the basic block variables here names based on the if-then-end
structure being analyzed. No functionality changed.