master
Tests for semantic analysis