Added first version of BddEngine