+ p cnf - head for tmp CNFs in system solver calling mode