Simplification: temporary array does not need to be declared globally
Simplification: temporary array does not need to be declared globally

sosy-lab/power-gadget_benchexec,sosy-lab/power-gadget_benchexec