cv08: korektna kontrola uplnosti vetvy aj ked Variable.getType vracia None

Ak getType pre Variable vracala None, tak testovac ju povazoval za betu
a vyzadoval, aby mala vo vetve aspon jednu 'podformulu' (ktoru samozrejme
premenna nema) a vyhadzoval chyby tvaru

Branch (ending at 8) is open but not complete -- 6 (BETA) is missing a subformula

kde (6) bola premmena.

Riesenia, ktore pre Variable hovorili, ze je typu ALPHA to neovplyvnovalo ;).
oznam o chybe v testovaci cv08
du02: posunuty termin (17.4. je volno)
Merge branch 'du02'
oznam: posunuty termin 2.DU na 24.4.