dependent if-then-else fixed using MiniVerses