wrong register adjustment
add multiple assignment decomposition test