added Xsb_Communication.debug_print_listings()