Removed IDEBoxing visitors and util for #714

Seems they are not used anymore