G:19                 If (m' is not maximal w.r.t. r) return;