Never produces too few variable assignments