add a pretty toString function in ArrayQueue
add a first simple SAT propagation system (have to be tested)