BranchSpecTest.cs #3