BranchSpecTest.cs #4