void Accumulator::_checkBranchesTermination(Accumulator const& consequence , Accumulator const& alternative) { if (consequence._terminated() || alternative._terminated()) { warning::oneOrTwoBranchesTerminated(*consequence._term_pos_or_nul_if_not_term , *alternative._term_pos_or_nul_if_not_term); } }