CNF encodings for model9 added