Dpfs.SimpCnf
class
Fresh
a
fastcnfInt
pcnf