Added more Tests to FixpointTest