Fixing of regex captured matches & formation of the symbolic cnf string