add Cedar BDD testing framework