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 ;).