translate atomic propositions
commit translate traces and add new section traceexample
translate liveness properties
working on listing layout. to many hbox overflows