lou1306 Fix CPROVER translation