Merchant Guide problem implemented using BDD