Modify to use print_dotted_pair() in print_exp()