add prove instruction to compiler