wrong sped function abstraction when using states and loops

Bugzilla Link	1136
Created on	Sep 19, 2014 15:35
Resolution	FIXED
Resolved on	Mar 26, 2015 21:14
Version	svn
OS	All
Architecture	PC
Attachments	TotientRange.sac, bound.sac, 1130swap.sac

Extended Description

Created an attachment (id=1025)
source code
after mtstf ( sac2c-d -mt -o lib -Llib 1130.sac -noprelude -bmt:mtstf) we have:
_flat_0 = with2 (_pinl_420_iv=[_pinl_421__eat_14] (IDXS:_wlidx_581__flat_0)) {....}
where _pinl_1116__flat_59 is locally defined and used in the body...
after mtspmdf (sac2c-d -mt -o lib -Llib 1130.sac -noprelude -bmt:mtspmdf) we have:
cs, scs__SSA0_2 = maxclique:_ST::_mtspmdf_1354_expandFS( _pinl_1116__flat_59, c, scs, _flat_0) ;
this results in broken C code where the variable is used when setting up the SPMD frame without being defined.