CnfFormula context support; NewVarId from picosat; tests