count_points_e: fall back to count_points if there are no existentials