aggregate_node heuristics (no_epsilon mode)