A BDD assertion library for D