An implementation of BWDI starting from scratch