Changed Test12 in FixpointTest