ALIGN_VAR_ASSIGNMENT is flaky