extract general part of CNF core