return to `Simple` name for simple SAT encodings

.. because it's not really AIG, at the moment?