Put _cnf for gold trees in OptimizeScoringMatrices just for clarification.