checker framework test