CFtoOCamlAbs
cf2Abstract