Adding BranchingPrograms