Minimalistic BDD assertion toolkit