Changing encodings, using Bule in SAT encodings