Reporting comment by rcprover