optimize Text.MaxSAT and Text.GCNF a bit