heule encoding added: