adding some sat encodings in register.cpp