(Xronos) ScalarRedundancyElimination,fixing the removal of uses,need to
create arguments and new call for instcall that its procedure contains
stateVars