Use canonical closure tree