improve debug message
BDD movement
fixing local BDD locations (not complete)