intree: drop, as it is buggy and obsolete