id {} is without_fixpoints