semantic: split handleNull into its own function.
semantic: handle nulls in binary assigns.