lego sdk tool for bdd