[analyzer] do not generate temp vars for control flow assignments (closes #3685)