Tests for logic assignment