Overrides AbstractNode::numberOfExecutedBranches
public function numberOfExecutedBranches() : int { return $this->numExecutedBranches; }