Move to empirical trees in spec.