Implemented save and restore of graphnode states for function calls. Regression fix for replication guide and array index propagation in SSA transformed code