Implement print_def (to print out the definition hierarchy)