update c initialization
update proofgeneral initialization