Apply + Vymazanie cahce

Apply funguje, vytvára nové stromy a predchádzajúce ruší
Cache nefungovala správne, musím sa s ňou lepšie pohrať
bddNeg ešte zatial nefunguje