contiue the bdd refactoring (print_int readable)
more updates