Changed FixpointTest