Added BddVariable parameter type