Print variable assignment as Error Witness