Fixed use of frozen literals in SatGen