AL/AS/DL can't handle guarded expressions, crippling AWLF, etc.

Bugzilla Link	853
Created on	Jul 04, 2011 16:30
Resolution	FIXED
Resolved on	Jun 03, 2012 11:57
Version	svn
OS	Linux
Architecture	PC
Attachments	crud.sac, cubeslice1dbeta.sac

Extended Description

Created an attachment (id=804)
source code to reproduce failure
Consider an expression such as:
bad2 = guard(siz - 40) + ( 30 - siz); 
If we remove (guard), then AL/AS/DL happily simplify this
expression. However, with the guard, no simplification
happens. 
Attached is a short example which shows this problem.
Failure to simplify expressions such as the above cause
failure of AWLF and other optimizations, which is why I have
marked this problem as "major".
Perhaps this can be discussed at the devcamp this month?