Adding the SPEC macro and SHOULD-BE-A macro, both for BDD.