TUP/ETV/EBT confused by UGLF movement, after SAACYC

Bugzilla Link	1053
Created on	Mar 19, 2013 15:55
Version	svn
OS	Linux
Architecture	PC
Attachments	loopis.sac

Extended Description

Created an attachment (id=953)
source code to reproduce fault
This commit:
commit 66a68890f5336f76140b04f1772f1b6ad4960cf5
Author: Robert Bernecky 
Date:   Sun Mar 17 16:49:29 2013 -0400
caused the typechecker to get turn, erroneously, an AKS variable into an AKV
one, in the apex/loopis/loopis.sac benchmark.
Since the typechecker runs quite happily otherwise, I am going to
back off that change. I do not see anything obvious in phase_sac2c.mac
that should cause this, but perhaps Bodo wants to look at it some day...
sac2c -V
sac2c v1.00-beta (Haggis And Apple)
 developer rev 18077 linux-gnu_x86_64
 (Tue Mar 19 11:44:17 EDT 2013 by sac)
In Loop_2(), the type of A_CTR28_ has become AKV, with a value of 0.
Which is very wrong.