More verbose logging of elimination ordering.