(gui) Fix instance update when refinement target is deleted
(classifier) fix bug in interpretation of InstCall
(backends) Move ALIGNABLExx constants in OrccAttributes

and add licence test to OrccAttributes
Revert "(DAL) Added option to use sat-solver on guards"

This reverts commit f0afd2c6b10f0d013b2f8f6454ad0c22aeb6ecdd.
Initial implementation of DAL KPN classifier
(DAL) Updated GuardConstraint
(DAL) Correctly build local names in LoadRewriter
(DAL) Use InstLoadComparator in SeqTreeNode
(DAL) Split read tokens into input and global
(orcc) Use default logic in smt-solver
(DAL) DALBackend only validates KPN
(DAL) Added instrumentation for analysis
wip