only real change in LRO; updating parameter-aliases during fixpoint iteration is crucial to avoid overly optimistic loop reuses! This bug proved to be the reason for at least one other bug issue #2321 (closed). Details of the fix can be found in the description added to LRO. The fix also brings along way more DBUG_PRINTS in IA and LRO making future debugging needs more easy should they be needed :-)