to check fixpoints