add PROCHECK results