Made intersection on regular trees less intensional.