Class BranchStep<S,​E,​M>