let cst_zero = PCst (Logic_ptree.IntConstant "0")