REORDER: $var3 = $1;$cons4 = $2;$body6 = $3;$var5 = $4;