Added semantics test files