Speed up grep0084.stp.cvc & grep0117.stp.cvc, by reducing unnecessary memory copying in the CNF generator
Speed up grep0084.stp.cvc & grep0117.stp.cvc, by reducing unnecessary memory copying in the CNF generator




git-svn-id: 5069ba8be4c997ee907bf46f8ec9a2bbfb655637@313 e59a4935-1847-0410-ae03-e826735625c1

linpc/STP,linpc/STP,linpc/STP,linpc/STP,linpc/STP