Add test for correct handling of Unknown: assignment within condition