Fix: invar for multiple assignment.