Aggiunta la funzione di backtrack alla semantica
Per ora funziona solo per le formule EU
Merge branch 'master' of github.com:cherosene/ctl_logic